Theorem multiplicity.Finite.pow_dvd_iff_le_multiplicity

Modification history