Structures · Topology
T6Space
A T₆ space is a perfectly normal T₀ space.
- Defined in
- Mathlib.Topology.Separation.GDelta
- Shape
- One type argument
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- Set.Elem
How is a type an instance?
Loading the hierarchy index…