Theorem Algebra.adjoin.evalOfTranscendental_eq_zero_iff

Modification history

2026-09-21 10:54
Mathlib/RingTheory/Adjoin/Polynomial/Transcendental.lean
feat(Adjoin/Polynomial/Transcendental): Adjoining transcendental elements (#37723) …
Added Algebra.adjoin.evalOfTranscendental_eq_zero_iffView on Github →