Theorem Nat.dvd_of_pow_dvd

Modification history