Theorem IntermediateField.rank_sup_le

Modification history

2024-12-02 12:55
Mathlib/RingTheory/AlgebraicIndependent.lean
chore(RingTheory): split `AlgebraicIndependent.lean` (#19606) …
Modified IntermediateField.rank_sup_leView on Github →
2024-11-28 12:19
Mathlib/RingTheory/AlgebraicIndependent.lean
feat: `IntermediateField.rank_sup_le` (#19527) …
Added IntermediateField.rank_sup_leView on Github →