Nuprl Definition : int_mod
ℤ_n == x,y:ℤ//(x ≡ y mod n)
Definitions occuring in Statement :
eqmod: a ≡ b mod m,
quotient: x,y:A//B[x; y],
int: ℤ
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
int: ℤ,
eqmod: a ≡ b mod m
FDL editor aliases :
int_mod
Latex:
\mBbbZ{}\_n == x,y:\mBbbZ{}//(x \mequiv{} y mod n)
Date html generated:
2016_05_14-PM-09_25_52
Last ObjectModification:
2015_09_22-PM-06_03_05
Theory : num_thy_1
Home
Index