Syntax definition cttg

Description: Function to convert an algebraic structure to a Tarski geometry.

	Ref	Expression
Assertion	cttg	class toTG