Mathlib Changelog
v4
Changelog
About
Github
Theorem
algebraicIndependent_iff_transcendental
Modification history
2024-10-30 05:09
Mathlib/RingTheory/AlgebraicIndependent.lean
feat(RingTheory/AlgebraicIndependent): add some results on `AlgebraicIndependent` (#18378) …
Added
algebraicIndependent_iff_transcendental
View on Github →