Database
BASIC TOPOLOGY
Topology
Separated spaces: T0, T1, T2 (Hausdorff) ...
ct1
Next ⟩
cha
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ct1
Description:
Extend class notation to include T_1 spaces (also called Fréchet spaces).
Ref
Expression
Assertion
ct1
class
Fre