Metamath Proof Explorer


Syntax definition csle

Description: Declare the syntax for surreal less than or equal.

Ref Expression
Assertion csle
class <_s