Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Algebraic constructions based on the complex numbers
czn
Next ⟩
df-zrh
Metamath Proof Explorer
Ascii
Structured
Syntax definition
czn
Description:
The ring of integers modulo
n
.
Ref
Expression
Assertion
czn
class
ℤ/
n
ℤ