Theorem IntermediateField.finrank_sup_le

Modification history

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