Theorem Field.sepDegree_le_rank

Modification history

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