Theorem Nat.Prime.dvd_choose_pow_iff

Modification history