Theorem Nat.pow_sub_pow_dvd_pow_sub_pow

Modification history