Metamath Proof Explorer

Syntax definition cdivs

Description: Declare the syntax for surreal division.

Ref Expression
Assertion cdivs 
class /su