Assertion list for term "mean for auxiliary voltages".

Results from Ascent++: 1
circuit CapableOfmean for auxiliary voltages 0.25