Theorem FractionalIdeal.extended_eq_zero_iff

Modification history

2025-10-19 08:57
Mathlib/RingTheory/FractionalIdeal/Extended.lean
feat(DedekindDomain/Different): add the transitivity formula (#26155) …
Added FractionalIdeal.extended_eq_zero_iffView on Github →