Metamath Proof Explorer


Syntax definition cmntop

Description: The class of n-manifold topologies.

Ref Expression
Assertion cmntop
class ManTop