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