Commit 2022-04-05 16:22 b011b0e8
View on Github →feat(ring_theory/unique_factorization_domain): The only divisors of prime powers are prime powers. (#12799) The only divisors of prime powers are prime powers in the associates monoid of an UFD.
feat(ring_theory/unique_factorization_domain): The only divisors of prime powers are prime powers. (#12799) The only divisors of prime powers are prime powers in the associates monoid of an UFD.