Theorem multiplicity.le_multiplicity_of_pow_dvd

Modification history