Theorem not_pow_dvd_of_emultiplicity_lt

Modification history