Theorem MvRatFunc.rank_eq_max_lift

Modification history

2024-11-28 12:19
Mathlib/FieldTheory/MvRatFunc/Rank.lean
feat: `IntermediateField.rank_sup_le` (#19527) …
Added MvRatFunc.rank_eq_max_liftView on Github →