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