Commit 2024-05-30 15:41 73140f47
View on Github →feat(RingTheory/DedekindDomain/Ideal): add two lemmas about the multiplicity of normalized factors (#13065) Add two lemmas on the multiplicity of normalized factors in relation to principal ideals and the cardinality of associates.