Nuprl Definition : proj-rev
proj-rev(n;p) == λi.if i <z n then p i else -(p i) fi
Definitions occuring in Statement :
rminus: -(x),
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
rminus: -(x),
apply: f a
FDL editor aliases :
proj-rev
Latex:
proj-rev(n;p) == \mlambda{}i.if i <z n then p i else -(p i) fi
Date html generated:
2017_10_05-AM-00_19_18
Last ObjectModification:
2017_06_17-AM-10_08_23
Theory : inner!product!spaces
Home
Index