Theorem Nat.pow_mul_mem_factoredNumbers

Modification history