Theorem Nat.prime_of_mem_primeFactorsList

Modification history