Theorem multiplicity.Finite.le_multiplicity_of_pow_dvd

Modification history