Nuprl Definition : oal_ble
ps ≤≤b qs == (ps (=b) qs) ∨b(ps <<b qs)
Definitions occuring in Statement :
oal_blt: ps <<b qs,
oalist: oal(a;b),
bor: p ∨bq,
infix_ap: x f y,
set_eq: =b
Definitions occuring in definition :
bor: p ∨bq,
infix_ap: x f y,
set_eq: =b,
oalist: oal(a;b),
oal_blt: ps <<b qs
Latex:
ps \mleq{}\mleq{}\msubb{} qs == (ps (=\msubb{}) qs) \mvee{}\msubb{}(ps <<\msubb{} qs)
Date html generated:
2016_05_16-AM-08_20_34
Last ObjectModification:
2015_09_23-AM-09_53_03
Theory : polynom_2
Home
Index