Syntax definition cstrkge

Description: Extends class notation with the class of geometries fulfilling Euclid's axiom.

	Ref	Expression
Assertion	cstrkge	class TarskiGE