Syntax definition cmgmhom

Description: Syntax for the set of magma morphisms.

	Ref	Expression
Assertion	cmgmhom	class Mgm⟶