Nuprl Definition : eqmod

a ≡ b mod m ==  m | (a - b)


Definitions occuring in Statement :  divides: b | a,  subtract: n - m
Definitions occuring in definition :  divides: b | a,  subtract: n - m
FDL editor aliases :  eqmod
Latex:
a  \mequiv{}  b  mod  m  ==    m  |  (a  -  b)


Date html generated: 2016_05_14-PM-04_21_28
Last ObjectModification: 2015_09_22-PM-06_02_40

Theory : num_thy_1


Home Index