Theorem IsNoetherian.range_finsetBasis

Modification history

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