Theorem Field.finInsepDegree_top_le_finInsepDegree_of_isScalarTower

Modification history

2025-05-19 06:33
Mathlib/FieldTheory/SeparableClosure.lean
feat: miscellaneous lemmas about transcendence bases (#24344)
Added Field.finInsepDegree_top_le_finInsepDegree_of_isScalarTowerView on Github →