Theorem pow_dvd_of_le_multiplicity

Modification history