Nuprl Definition : mul-list
Π(ns) == reduce(λx,y. (x * y);1;ns)
Definitions occuring in Statement :
reduce: reduce(f;k;as),
lambda: λx.A[x],
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
multiply: n * m,
natural_number: $n
FDL editor aliases :
mul-list
Latex:
\mPi{}(ns) == reduce(\mlambda{}x,y. (x * y);1;ns)
Date html generated:
2016_05_15-PM-04_01_32
Last ObjectModification:
2015_09_23-AM-07_46_00
Theory : general
Home
Index