Theorem Nat.eq_of_factorization_eq

Modification history