Metamath Proof Explorer

Syntax definition ctps

Description: Syntax for the class of topological spaces.

Ref Expression
Assertion ctps class TopSp