Theorem not_prime_zero

Modification history