Def continuous_at

Modification history

2019-11-12 11:23

src/topology/basic.lean

style(*): use notation `𝓝` for `nhds` (#1582) …

Modified continuous_at View on Github →

2019-03-03 19:05

src/topology/basic.lean

chore(topology): Splits topology.basic and topology.continuity (#785) …

Modified continuous_at View on Github →

2019-02-08 09:28

src/topology/continuity.lean

feat(analysis/topology/continuity): add some variations

Added continuous_at View on Github →