Theorem Nat.factors_prime

Modification history