Nuprl Definition : before

before(u;ps) ==  null(ps) ∨b(hd(ps) <b u)



Definitions occuring in Statement :  hd: hd(l) null: null(as) bor: p ∨bq set_blt: a <b b
Definitions occuring in definition :  bor: p ∨bq null: null(as) set_blt: a <b b hd: hd(l)

Latex:
before(u;ps)  ==    null(ps)  \mvee{}\msubb{}(hd(ps)  <\msubb{}  u)



Date html generated: 2016_05_16-AM-08_14_52
Last ObjectModification: 2015_09_23-AM-09_52_48

Theory : polynom_2


Home Index