Theorem Nat.primeFactorsList_prime

Modification history