Syntax definition cslt

Description: Declare the less-than relation over surreal numbers (see df-slt ).

	Ref	Expression
Assertion	cslt	class