Theorem Algebra.IsAlgebraic.isTranscendenceBasis_of_lift_le_trdeg_of_finite

Modification history

2025-04-22 14:20
Mathlib/RingTheory/AlgebraicIndependent/TranscendenceBasis.lean
feat(Algebra): transcendence degree is well-defined (#23539) …
Added Algebra.IsAlgebraic.isTranscendenceBasis_of_lift_le_trdeg_of_finiteView on Github →