Syntax definition ctopmgmhom

Description: Syntax for the set of topological magma morphisms.

	Ref	Expression
Assertion	ctopmgmhom	class TopMgm⟶