Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tendsto_sum

Modification history

2018-05-23 17:29

analysis/topology/topological_structures.lean

feat(analysis/topology): add tendsto and continuity rules for big operators

Deleted tendsto_sum View on Github →

2017-09-05 14:15

topology/topological_structures.lean

feat(topology): introduce infinite sums on topological monoids

Added tendsto_sum View on Github →