Theorem Polynomial.isCoveringMapOn_eval

Modification history

2026-01-27 22:28
Mathlib/Analysis/Complex/CoveringMap.lean
feat(Analysis, Topology): more examples of covering maps involving the complex plane (#33766)
Modified Polynomial.isCoveringMapOn_evalView on Github →
2026-01-20 19:54
Mathlib/Analysis/Complex/CoveringMap.lean
feat(Analysis): (complex) polynomials as branched coverings (#33726) …
Added Polynomial.isCoveringMapOn_evalView on Github →