Theorem emultiplicity_eq_emultiplicity_iff

Modification history