Theorem multiplicity.Finite.mul_iff

Modification history