Theorem multiplicity.Finite.multiplicity_eq_iff

Modification history