Theorem emultiplicity_eq_iff_multiplicity_eq_of_ne_one

Modification history