Theorem IntermediateField.eq_of_le_of_finrank_eq'
Modification history
2024-08-21 07:40
Mathlib/FieldTheory/IntermediateField/Algebraic.lean
chore: split FieldTheory/IntermediateField (#15692)
Modified IntermediateField.eq_of_le_of_finrank_eq'View on Github →