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