Metamath Proof Explorer


Syntax definition csubs

Description: Declare the syntax for surreal subtraction.

Ref Expression
Assertion csubs Could not format assertion : No typesetting found for class -s with typecode class