Metamath Proof Explorer


Syntax definition ctopmgmhom

Description: Syntax for the set of topological magma morphisms.

Ref Expression
Assertion ctopmgmhom
class -TopMgm->