Theorem Polynomial.preimage_eval_singleton

Modification history

2026-01-20 19:54
Mathlib/Algebra/Polynomial/Roots.lean
feat(Analysis): (complex) polynomials as branched coverings (#33726) …
Added Polynomial.preimage_eval_singletonView on Github →