Theorem FractionalIdeal.zero_mem

Modification history

2024-06-30 19:02
Mathlib/RingTheory/FractionalIdeal/Basic.lean
feat: simple lemmas about fractional ideals (#14099) …
Added FractionalIdeal.zero_memView on Github →