Nuprl Definition : rng_nat_op
n ⋅r e == n ⋅ e
Definitions occuring in Statement :
add_grp_of_rng: r↓+gp,
mon_nat_op: n ⋅ e
Definitions occuring in definition :
mon_nat_op: n ⋅ e,
add_grp_of_rng: r↓+gp
Latex:
n \mcdot{}r e == n \mcdot{} e
Date html generated:
2016_05_15-PM-00_26_44
Last ObjectModification:
2015_09_23-AM-06_26_10
Theory : rings_1
Home
Index