Nuprl Definition : add_ipoly
add_ipoly(p;q) == add-ipoly-prepend(p;q;[])
Definitions occuring in Statement :
add-ipoly-prepend: add-ipoly-prepend(p;q;l),
nil: []
Definitions occuring in definition :
add-ipoly-prepend: add-ipoly-prepend(p;q;l),
nil: []
FDL editor aliases :
add_ipoly
Latex:
add\_ipoly(p;q) == add-ipoly-prepend(p;q;[])
Date html generated:
2017_09_29-PM-05_53_05
Last ObjectModification:
2017_05_04-PM-03_20_19
Theory : omega
Home
Index