Metamath Proof Explorer

Syntax definition csslt

Description: Declare the syntax for surreal set less than.

Ref Expression
Assertion csslt 
class <