Metamath Proof Explorer


Syntax definition ctlm

Description: The class of all topological modules.

Ref Expression
Assertion ctlm
class TopMod