Theorem pow_dvd_of_le_emultiplicity

Modification history