Metamath Proof Explorer


Syntax definition clti

Description: Positive integer ordering relation.

Ref Expression
Assertion clti
class