Nuprl Definition : oset_of_ocmon
g↓oset == g↓set
Definitions occuring in Statement :
dset_of_mon: g↓set
Definitions occuring in definition :
dset_of_mon: g↓set
Latex:
g\mdownarrow{}oset == g\mdownarrow{}set
Date html generated:
2016_05_15-PM-00_11_29
Last ObjectModification:
2015_09_23-AM-06_24_42
Theory : groups_1
Home
Index