Mathlib Changelog
v4
Changelog
About
Github
Def
Polynomial.Bivariate.Transcendental.algEquivAdjoin
Modification history
2026-03-18 16:39
Mathlib/RingTheory/Adjoin/Polynomial/Bivariate.lean
feat(Adjoin/Polynomial/Bivariate): IsAlgebraic.adjoin_singleton (#35874) …
Added
Polynomial.Bivariate.Transcendental.algEquivAdjoin
View on Github →