Theorem RatFunc.transcendental_X

Modification history

2026-03-05 14:15
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
feat(RatFunc): add notation for RatFunc (#36172) …
Modified RatFunc.transcendental_XView on Github →
2025-08-06 11:02
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
feat(RatFunc): transcendental_X (#27823) …
Added RatFunc.transcendental_XView on Github →