Database
BASIC TOPOLOGY
Topology
Separated spaces: T0, T1, T2 (Hausdorff) ...
cha
Next ⟩
creg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cha
Description:
Extend class notation with the class of all Hausdorff spaces.
Ref
Expression
Assertion
cha
class
Haus