Theorem IsTranscendenceBasis.lift_cardinalMk_eq_max_lift

Modification history

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