Theorem Algebra.Transcendental.rank_eq_cardinalMk

Modification history

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