Database
REAL AND COMPLEX NUMBERS
Integer sets
Integers (as a subset of complex numbers)
cz
Next ⟩
df-z
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cz
Description:
Extend class notation to include the class of integers.
Ref
Expression
Assertion
cz
class ZZ