Theorem Polynomial.eval_X_pow

Modification history

2026-01-27 22:28
Mathlib/Algebra/Polynomial/Eval/Defs.lean
feat(Analysis, Topology): more examples of covering maps involving the complex plane (#33766)
Modified Polynomial.eval_X_powView on Github →
2025-10-13 07:43
Mathlib/Algebra/Polynomial/Eval/Defs.lean
chore: `Polynomial.eval_X_pow` (#30446) …
Added Polynomial.eval_X_powView on Github →