Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
Euler's theorem
codz
Next ⟩
cphi
Metamath Proof Explorer
Unicode
Structured
Syntax definition
codz
Description:
Extend class notation with the order function on the class of integers mod N.
Ref
Expression
Assertion
codz
class odZ