Theorem IsOpen.isGδ

Modification history

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

chore(Topology/GDelta.lean): rename type variables (#7637) …

Modified IsOpen.isGδ View on Github →

2023-02-06 07:35

Mathlib/Topology/GDelta.lean

feat: port Topology.GDelta (#2064)

Added IsOpen.isGδ View on Github →