Metamath Proof Explorer


Syntax definition cnegs

Description: Declare the syntax for surreal negation.

Ref Expression
Assertion cnegs
class -us