Theorem IntermediateField.rank_bot'

Modification history

2024-02-23 22:33
Mathlib/FieldTheory/Adjoin.lean
feat(FieldTheory/Adjoin): add `IntermediateField.[fin]rank_bot'` (#10896)
Added IntermediateField.rank_bot'View on Github →