Metamath Proof Explorer

Syntax definition ceqlg

Description: Declare the class of equilateral triangles.

Ref Expression
Assertion ceqlg 
class eqltrG