Theorem IsNoetherian.iff_fg

Modification history

2023-04-10 19:09
Mathlib/FieldTheory/Finiteness.lean
feat: port FieldTheory.Finiteness (#3373)
Added IsNoetherian.iff_fgView on Github →