Nuprl Definition : residue-mul

(ai mod n) ==  (a * i) mod n


Definitions occuring in Statement :  modulus: a mod n,  multiply: n * m
Definitions occuring in definition :  modulus: a mod n,  multiply: n * m
FDL editor aliases :  residue-mul
Latex:
(ai  mod  n)  ==    (a  *  i)  mod  n


Date html generated: 2016_05_15-PM-07_29_20
Last ObjectModification: 2015_09_23-AM-08_15_46

Theory : general


Home Index