Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-06 13:27 0007c4a2

View on Github →

feat(topology/constructions): function.update is continuous in both arguments (#7023)

Estimated changes

added theorem continuous.update
added theorem continuous_at.update
added theorem continuous_at_apply
modified theorem continuous_update
added theorem filter.tendsto.apply
added theorem filter.tendsto.update