Syntax definition cstrkgc

Description: Extends class notation with the class of geometries fulfilling the congruence axioms.

	Ref	Expression
Assertion	cstrkgc	class TarskiGC