Theorem Nat.Prime.eq_of_factorization_pos

Modification history