Assertion list
core (aspect of inductor ) → HasA
Results from Ascent++: 3
core → HasA → first side 0.31
core → HasA → an air gap 0.25
core → HasA → constant permeability 0.25