Metamath Proof Explorer


Syntax definition cleg

Description: Less-than relation for geometric congruences.

Ref Expression
Assertion cleg class ≤G