Assertion list
coupled inductor (subgroup of inductor ) → HasA
Results from Ascent++: 1
coupled inductor → HasA → magnetizing inductance 0.25