Theorem Nat.factorization_eq_factors_multiset

Modification history