Theorem Field.insepDegree_le_rank

Modification history

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