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)
Modified continuous_updateView on Github →
2020-02-03 11:26
src/topology/constructions.lean
refactor(linear_algebra/multilinear): cleanup of multilinear maps (#1921) …
Added continuous_updateView on Github →