Syntax definition ceqlg

Description: Declare the class of equilateral triangles.

	Ref	Expression
Assertion	ceqlg	class eqltrG