Syntax definition cmndtc

Description: Class function defining monoids as categories.

	Ref	Expression
Assertion	cmndtc	Could not format assertion : No typesetting found for class MndToCat with typecode class