Nuprl Definition : add-ipoly1
add-ipoly1(p;q) == add-ipoly(p;q)
Definitions occuring in Statement :
add-ipoly: add-ipoly(p;q)
Definitions occuring in definition :
add-ipoly: add-ipoly(p;q)
FDL editor aliases :
add-ipoly1
Latex:
add-ipoly1(p;q) == add-ipoly(p;q)
Date html generated:
2017_09_29-PM-05_52_17
Last ObjectModification:
2017_05_11-PM-06_47_30
Theory : omega
Home
Index