Syntax definition ccntz

Description: Syntax for the centralizer of a set in a monoid.

	Ref	Expression
Assertion	ccntz	$$class\mathrm{Cntz}$$