Metamath Proof Explorer

Syntax definition cleg

Description: Less-than relation for geometric congruences.

Ref Expression
Assertion cleg 
class leG