Theorem multiplicity.Finite.not_pow_dvd_of_multiplicity_lt

Modification history