Theorem IsNoetherian.rank_lt_aleph0

Modification history

2024-01-01 14:48
Mathlib/FieldTheory/Finiteness.lean
chore: Reorganize results about `rank` and `finrank`. (#9349) …
Deleted IsNoetherian.rank_lt_aleph0View on Github →
2023-04-10 19:09
Mathlib/FieldTheory/Finiteness.lean
feat: port FieldTheory.Finiteness (#3373)
Added IsNoetherian.rank_lt_aleph0View on Github →