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