Theorem multiplicity.multiplicity_eq_multiplicity_iff

Modification history