Theorem PNat.not_prime_one

Modification history