Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.update

Modification history

2022-09-20 14:59
src/topology/constructions.lean
chore(topology/constructions): use `variables` (#16562) …
Modified continuous.updateView on Github →
2021-04-06 13:27
src/topology/constructions.lean
feat(topology/constructions): `function.update` is continuous in both arguments (#7023)
Added continuous.updateView on Github →