Nuprl Definition : grp_blt
a <b b == a <b b
Definitions occuring in Statement :
oset_of_ocmon: g↓oset,
set_blt: a <b b
Definitions occuring in definition :
set_blt: a <b b,
oset_of_ocmon: g↓oset
Latex:
a <\msubb{} b == a <\msubb{} b
Date html generated:
2016_05_15-PM-00_13_28
Last ObjectModification:
2015_09_23-AM-06_24_50
Theory : groups_1
Home
Index