Theorem Nat.ordCompl_of_not_prime

Modification history