Theorem IntermediateField.finInsepDegree_le_of_left_le

Modification history

2025-05-19 06:33

Mathlib/FieldTheory/SeparableClosure.lean

feat: miscellaneous lemmas about transcendence bases (#24344)

Added IntermediateField.finInsepDegree_le_of_left_le View on Github →