Theorem isGδ_singleton

Modification history

2024-02-15 19:01

Mathlib/Topology/GDelta.lean

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

Deleted isGδ_singleton View on Github →

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

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

Modified isGδ_singleton View on Github →

2023-02-06 07:35

Mathlib/Topology/GDelta.lean

feat: port Topology.GDelta (#2064)

Added isGδ_singleton View on Github →