Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.tendsto.apply

Modification history

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