Nuprl Definition : minus-poly
minus-poly(p) == map(λm.minus-monomial(m);p)
Definitions occuring in Statement :
minus-monomial: minus-monomial(m),
map: map(f;as),
lambda: λx.A[x]
Definitions occuring in definition :
map: map(f;as),
lambda: λx.A[x],
minus-monomial: minus-monomial(m)
FDL editor aliases :
minus-poly
Latex:
minus-poly(p) == map(\mlambda{}m.minus-monomial(m);p)
Date html generated:
2016_05_14-AM-07_02_37
Last ObjectModification:
2015_09_22-PM-05_51_48
Theory : omega
Home
Index