Nuprl Definition : oal_blt
ps <<b qs == pos(qs ++ (--ps))
Definitions occuring in Statement :
oal_bpos: pos(ps),
oal_neg: --ps,
oal_merge: ps ++ qs
Definitions occuring in definition :
oal_bpos: pos(ps),
oal_merge: ps ++ qs,
oal_neg: --ps
Latex:
ps <<\msubb{} qs == pos(qs ++ (--ps))
Date html generated:
2016_05_16-AM-08_20_29
Last ObjectModification:
2015_09_23-AM-09_53_02
Theory : polynom_2
Home
Index