Nuprl Definition : omralist
omral(g;r) == oal(g↓oset;r↓+gp)
Definitions occuring in Statement :
oalist: oal(a;b),
add_grp_of_rng: r↓+gp,
oset_of_ocmon: g↓oset
Definitions occuring in definition :
oalist: oal(a;b),
oset_of_ocmon: g↓oset,
add_grp_of_rng: r↓+gp
Latex:
omral(g;r) == oal(g\mdownarrow{}oset;r\mdownarrow{}+gp)
Date html generated:
2016_05_16-AM-08_23_17
Last ObjectModification:
2015_09_23-AM-09_53_15
Theory : polynom_3
Home
Index