Theorem isGδ_sInter

Modification history

2024-02-15 19:01

Mathlib/Topology/GDelta.lean

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

Deleted isGδ_sInter View on Github →

2023-10-12 10:52

Mathlib/Topology/GDelta.lean

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

Modified isGδ_sInter View on Github →

2023-05-14 07:05

Mathlib/Topology/GDelta.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added isGδ_sInter View on Github →