Theorem Polynomial.C_eq_or_isOpenQuotientMap_eval

Modification history

2026-01-27 22:28
Mathlib/Analysis/Complex/OpenMapping.lean
feat(Analysis, Topology): more examples of covering maps involving the complex plane (#33766)
Added Polynomial.C_eq_or_isOpenQuotientMap_evalView on Github →