Metamath Proof Explorer


Syntax definition csslt

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

Ref Expression
Assertion csslt classs