Metamath Proof Explorer


Syntax definition cslts

Description: Declare the syntax for surreal set less-than.

Ref Expression
Assertion cslts
class <