Theorem multiplicity.multiplicity_le_multiplicity_iff

Modification history