Nuprl Definition : omral_minus
--ps == --ps
Definitions occuring in Statement :
oal_neg: --ps,
add_grp_of_rng: r↓+gp,
dset_of_mon: g↓set
Definitions occuring in definition :
oal_neg: --ps,
dset_of_mon: g↓set,
add_grp_of_rng: r↓+gp
Latex:
--ps == --ps
Date html generated:
2016_05_16-AM-08_23_58
Last ObjectModification:
2015_09_23-AM-09_53_16
Theory : polynom_3
Home
Index