Theorem IsGδ.setOf_continuousAt

Modification history

2024-10-25 11:44

Mathlib/Topology/GDelta/Basic.lean

chore: split Topology.GDelta (#18215)

Modified IsGδ.setOf_continuousAt View on Github →

2024-02-15 19:01

Mathlib/Topology/GDelta.lean

chore(Topology/GDelta): use new-style dot notation (#10583) …

Added IsGδ.setOf_continuousAt View on Github →