Structures · Topology
T5Space
A T₅ space is a completely 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 instances7
- SeparationQuotient
- ENNReal
- DomMulAct
- EReal
- DomAddAct
- Subtype
- ULift
How is a type an instance?
Loading the hierarchy index…