Theorem IsNoetherian.coe_finsetBasisIndex

Modification history

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