Assertion list
coupled inductor (subgroup of inductor ) → SimilarTo
Results from Ascent++: 1
coupled inductor → SimilarTo → coupled inductor 0.65