Theorem Nat.perm_primeFactorsList_mul

Modification history