Theorem Nat.eq_of_perm_primeFactorsList

Modification history