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