Theorem IsNoetherian.coeSort_finsetBasisIndex

Modification history

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