Syntax definition ctopmgmhom

Description: Syntax for the set of topological magma morphisms.

	Ref	Expression
Assertion	ctopmgmhom	$$class\underset{TopMgm}{⟶}$$