Theorem Nat.mem_primeFactorsList'

Modification history