Theorem Nat.mem_factoredNumbers

Modification history