Nuprl Definition : rng_when
when b. p == when b. p
Definitions occuring in Statement :
add_grp_of_rng: r↓+gp,
mon_when: when b. p
Definitions occuring in definition :
mon_when: when b. p,
add_grp_of_rng: r↓+gp
Latex:
when b. p == when b. p
Date html generated:
2016_05_15-PM-00_28_48
Last ObjectModification:
2015_09_23-AM-06_26_13
Theory : rings_1
Home
Index