Theorem Nat.eq_of_perm_factors

Modification history