Assertion list
lc circuit (subgroup of circuit ) → HasProperty

Results from Ascent++: 1
lc circuitHasProperty resonant 0.68