Theorem pow_dvd_iff_le_emultiplicity

Modification history