Nuprl Definition : p-reduce
i mod(p^n) == i mod p^n
Definitions occuring in Statement :
exp: i^n,
modulus: a mod n
Definitions occuring in definition :
modulus: a mod n,
exp: i^n
FDL editor aliases :
p-reduce
Latex:
i mod(p\^{}n) == i mod p\^{}n
Date html generated:
2018_05_21-PM-03_17_48
Last ObjectModification:
2018_01_26-PM-04_51_35
Theory : rings_1
Home
Index