Database
BASIC TOPOLOGY
Topology
Separated spaces: T0, T1, T2 (Hausdorff) ...
cnrm
Next ⟩
ccnrm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cnrm
Description:
Extend class notation with the class of all normal topologies.
Ref
Expression
Assertion
cnrm
class Nrm