Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic number theory
Characters of Z/nZ
cdchr
Next ⟩
df-dchr
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cdchr
Description:
Extend class notation with the group of Dirichlet characters.
Ref
Expression
Assertion
cdchr
class DChr