Database
SURREAL NUMBERS
Surreal arithmetic
Division
cdivs
Next ⟩
df-divs
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cdivs
Description:
Declare the syntax for surreal division.
Ref
Expression
Assertion
cdivs
class
/
su