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