Mathlib Changelog
v4
Changelog
About
Github
Theorem
Algebra.IsAlgebraic.isTranscendenceBasis_of_le_trdeg
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_le_trdeg
View on Github →