Theorem multiplicity_eq_of_emultiplicity_eq_some

Modification history