Nuprl Definition : omral_plus
ps ++ qs == ps ++ qs
Definitions occuring in Statement :
oal_merge: ps ++ qs,
add_grp_of_rng: r↓+gp,
oset_of_ocmon: g↓oset
Definitions occuring in definition :
oal_merge: ps ++ qs,
oset_of_ocmon: g↓oset,
add_grp_of_rng: r↓+gp
Latex:
ps ++ qs == ps ++ qs
Date html generated:
2016_05_16-AM-08_23_23
Last ObjectModification:
2015_09_23-AM-09_53_16
Theory : polynom_3
Home
Index