Theorem pow_not_prime

Modification history