Theorem Nat.ord_proj_of_not_prime

Modification history