Nuprl Definition : p-int
k(p) == λn.k mod(p^n)
Definitions occuring in Statement :
p-reduce: i mod(p^n),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
p-reduce: i mod(p^n)
FDL editor aliases :
p-int
Latex:
k(p) == \mlambda{}n.k mod(p\^{}n)
Date html generated:
2018_05_21-PM-03_18_46
Last ObjectModification:
2018_01_27-AM-11_45_12
Theory : rings_1
Home
Index