Nuprl Definition : rng_nexp
e ↑r n == n ⋅ e
Definitions occuring in Statement :
mul_mon_of_rng: r↓xmn,
mon_nat_op: n ⋅ e
Definitions occuring in definition :
mon_nat_op: n ⋅ e,
mul_mon_of_rng: r↓xmn
Latex:
e \muparrow{}r n == n \mcdot{} e
Date html generated:
2016_05_15-PM-00_26_36
Last ObjectModification:
2015_09_23-AM-06_26_09
Theory : rings_1
Home
Index