Nuprl Definition : set_leq
a ≤ b == ↑(a (≤b) b)
Definitions occuring in Statement :
set_le: ≤b,
assert: ↑b,
infix_ap: x f y
Definitions occuring in definition :
assert: ↑b,
infix_ap: x f y,
set_le: ≤b
Latex:
a \mleq{} b == \muparrow{}(a (\mleq{}\msubb{}) b)
Date html generated:
2016_05_15-PM-00_04_08
Last ObjectModification:
2015_09_23-AM-06_24_02
Theory : sets_1
Home
Index