Theorem FractionalIdeal.fg_of_isNoetherianRing

Modification history

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