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 →