Metamath Proof Explorer


Syntax definition ctps

Description: Syntax for the class of topological spaces.

Ref Expression
Assertion ctps class TopSp