Theorem Field.insepDegree_le_of_left_le

Modification history

2025-05-19 06:33

Mathlib/FieldTheory/SeparableClosure.lean

feat: miscellaneous lemmas about transcendence bases (#24344)

Added Field.insepDegree_le_of_left_le View on Github →