Database
SURREAL NUMBERS
Surreal arithmetic
Division
cdivs
Next ⟩
df-divs
Metamath Proof Explorer
Ascii
Unicode
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