Syntax definition cstrkgcb

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

	Ref	Expression
Assertion	cstrkgcb	class TarskiGCB