Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_at.update

Modification history

2022-09-20 14:59
src/topology/constructions.lean
chore(topology/constructions): use `variables` (#16562) …
Modified continuous_at.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_at.updateView on Github →