Database
REAL AND COMPLEX NUMBERS
Real and complex numbers - basic operations
Subtraction
cmin
Next ⟩
cneg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmin
Description:
Extend class notation to include subtraction.
Ref
Expression
Assertion
cmin
class
−