Metamath Proof Explorer


Syntax definition cleag

Description: Extend class relation with the "angle less than" relation.

Ref Expression
Assertion cleag
class leA