Nuprl Definition : quadratic-residue
a is a quadratic residue mod p == ∃x:ℤ. ((x * x) ≡ a mod p)
Definitions occuring in Statement :
eqmod: a ≡ b mod m,
exists: ∃x:A. B[x],
multiply: n * m,
int: ℤ
Definitions occuring in definition :
exists: ∃x:A. B[x],
int: ℤ,
eqmod: a ≡ b mod m,
multiply: n * m
FDL editor aliases :
quadratic-residue
Latex:
a is a quadratic residue mod p == \mexists{}x:\mBbbZ{}. ((x * x) \mequiv{} a mod p)
Date html generated:
2016_05_14-PM-04_27_21
Last ObjectModification:
2015_09_22-PM-06_02_57
Theory : num_thy_1
Home
Index