Theorem IsGδ.setOf_continuousAt

Modification history

2026-07-17 09:57
Mathlib/Topology/GDelta/MetrizableSpace.lean
chore(Data): rename `setOf` to `Set.ofPred` (#41507) …
Deleted IsGδ.setOf_continuousAtView on Github →
2025-05-07 15:35
Mathlib/Topology/GDelta/MetrizableSpace.lean
feat: Metric Spaces are T6 (#22256) …
Modified IsGδ.setOf_continuousAtView on Github →
2024-10-25 11:44
Mathlib/Topology/GDelta/Basic.lean
chore: split Topology.GDelta (#18215)
Modified IsGδ.setOf_continuousAtView on Github →
2024-02-15 19:01
Mathlib/Topology/GDelta.lean
chore(Topology/GDelta): use new-style dot notation (#10583) …
Added IsGδ.setOf_continuousAtView on Github →