Nuprl Definition : oal_le
ps ≤{s,g} qs == ↑ps ≤≤b qs
Definitions occuring in Statement :
oal_ble: ps ≤≤b qs,
assert: ↑b
Definitions occuring in definition :
assert: ↑b,
oal_ble: ps ≤≤b qs
Latex:
ps \mleq{}\{s,g\} qs == \muparrow{}ps \mleq{}\mleq{}\msubb{} qs
Date html generated:
2016_05_16-AM-08_20_39
Last ObjectModification:
2015_09_23-AM-09_53_04
Theory : polynom_2
Home
Index