Theorem FractionalIdeal.count_zero

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_zero View on Github →