Nuprl Definition : p-add
x + y == λn.(x n) + (y n) mod(p^n)
Definitions occuring in Statement :
p-reduce: i mod(p^n),
apply: f a,
lambda: λx.A[x],
add: n + m
Definitions occuring in definition :
lambda: λx.A[x],
p-reduce: i mod(p^n),
add: n + m,
apply: f a
FDL editor aliases :
p-add
Latex:
x + y == \mlambda{}n.(x n) + (y n) mod(p\^{}n)
Date html generated:
2018_05_21-PM-03_18_09
Last ObjectModification:
2018_01_26-PM-04_55_37
Theory : rings_1
Home
Index