Nuprl Definition : omral_dom
dom(ps) == dom(ps)
Definitions occuring in Statement :
oal_dom: dom(ps),
add_grp_of_rng: r↓+gp,
oset_of_ocmon: g↓oset
Definitions occuring in definition :
oal_dom: dom(ps),
oset_of_ocmon: g↓oset,
add_grp_of_rng: r↓+gp
Latex:
dom(ps) == dom(ps)
Date html generated:
2016_05_16-AM-08_23_19
Last ObjectModification:
2015_09_23-AM-09_53_15
Theory : polynom_3
Home
Index