Theorem Polynomial.algEquivOfTranscendental_symm_aeval

Modification history

2026-09-21 10:54
Mathlib/RingTheory/Adjoin/Polynomial/Transcendental.lean
feat(Adjoin/Polynomial/Transcendental): Adjoining transcendental elements (#37723) …
Modified Polynomial.algEquivOfTranscendental_symm_aevalView on Github →
2026-02-26 09:42
Mathlib/RingTheory/Algebraic/Basic.lean
chore(Mathlib/RingTheory/Algebraic/Basic.lean): automated extraction (#35801) …
Added Polynomial.algEquivOfTranscendental_symm_aevalView on Github →