Theorem Nat.not_prime_of_mul_eq

Modification history