Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic number theory
Quadratic residues and the Legendre symbol
clgs
Next ⟩
df-lgs
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clgs
Description:
Extend class notation with the Legendre symbol function.
Ref
Expression
Assertion
clgs
class /L