Syntax definition ccgr

Description: Declare the syntax for the Euclidean congruence predicate.

	Ref	Expression
Assertion	ccgr	$$class\mathrm{Cgr}$$