Theorem IsNoetherian.iff_rank_lt_aleph0

Modification history

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