Theorem prime_pow_succ_dvd_mul

Modification history