Mathlib v3 is deprecated. Go to Mathlib v4

Theorem le_of_tendsto

Modification history

2019-01-02 10:12

analysis/topology/topological_structures.lean

feat(analysis/topology): complete sets, minor modifications (#557)

Modified le_of_tendsto View on Github →

2017-09-13 17:34

topology/topological_structures.lean

feat(topology/measure): introduce measures

Modified le_of_tendsto View on Github →

2017-09-06 19:31

topology/topological_structures.lean

feat(topology): restructure order topologies; (start) proof that ennreal is a topological monoid

Added le_of_tendsto View on Github →