Mathlib Changelog
v4
Changelog
About
Github
Def
FractionalIdeal.count
Modification history
2024-05-13 15:49
Mathlib/RingTheory/DedekindDomain/Factorization.lean
feat(RingTheory.DedekindDomain.Factorization): add factorization of fractional ideals (#7778) …
Added
FractionalIdeal.count
View on Github →