Structures · Topology
T4Space
A T₄ space is a normal T₁ space.
- Defined in
- Mathlib.Topology.Separation.Regular
- Shape
- One type argument
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances5
- ENNReal
- DomMulAct
- DomAddAct
- UpperHalfPlane
- ULift
How is a type an instance?
Loading the hierarchy index…