Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.continuous_eval

Modification history

2020-12-06 11:43
src/topology/algebra/polynomial.lean
refactor(*): drop `topology/instances/complex` (#5208) …
Deleted polynomial.continuous_evalView on Github →
2019-09-27 07:02
src/topology/instances/polynomial.lean
chore(*): drop some unused args reported by `#sanity_check_mathlib` (#1490) …
Modified polynomial.continuous_evalView on Github →
2018-10-02 14:08
analysis/polynomial.lean
feat(data/padics): use prime typeclass
Modified polynomial.continuous_evalView on Github →
2018-10-02 14:08
data/polynomial.lean
feat(data/padics): prove Hensel's lemma
Added polynomial.continuous_evalView on Github →