Nuprl Definition : set_lt
a <p b == ↑(a <b b)
Definitions occuring in Statement :
set_blt: a <b b,
assert: ↑b
Definitions occuring in definition :
assert: ↑b,
set_blt: a <b b
Latex:
a <p b == \muparrow{}(a <\msubb{} b)
Date html generated:
2016_05_15-PM-00_04_18
Last ObjectModification:
2015_09_23-AM-06_24_04
Theory : sets_1
Home
Index