Nuprl Definition : p-mul
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],
multiply: n * m
Definitions occuring in definition :
lambda: λx.A[x],
p-reduce: i mod(p^n),
multiply: n * m,
apply: f a
FDL editor aliases :
p-mul
Latex:
x * y == \mlambda{}n.(x n) * (y n) mod(p\^{}n)
Date html generated:
2018_05_21-PM-03_18_19
Last ObjectModification:
2018_01_26-PM-07_03_29
Theory : rings_1
Home
Index