Theorem Nat.perm_factors_mul_of_coprime

Modification history