Database
REAL AND COMPLEX NUMBERS
Real and complex numbers - basic operations
Division
cdiv
Next ⟩
df-div
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdiv
Description:
Extend class notation to include division.
Ref
Expression
Assertion
cdiv
class
÷