Metamath Proof Explorer


Syntax definition cdivs

Description: Declare the syntax for surreal division.

Ref Expression
Assertion cdivs Could not format assertion : No typesetting found for class /su with typecode class