Metamath Proof Explorer


Syntax definition csslt

Description: Declare the syntax for surreal set less than.

Ref Expression
Assertion csslt class s