Metamath Proof Explorer


Syntax definition cabss

Description: Declare the syntax for surreal absolute value.

Ref Expression
Assertion cabss class abs s