Theorem IntermediateField.rank_sup_le_of_isAlgebraic

Modification history

2024-11-13 07:59
Mathlib/FieldTheory/Adjoin.lean
feat: some results on dimension of field adjoin (#18515) …
Added IntermediateField.rank_sup_le_of_isAlgebraicView on Github →