Theorem PNat.prime_two

Modification history