Theorem Nat.replicate_subperm_primeFactorsList_iff

Modification history