Nuprl Definition : mon_nat_op
n ⋅ e == n x(*;e) e
Definitions occuring in Statement :
nat_op: n x(op;id) e,
grp_id: e,
grp_op: *
Definitions occuring in definition :
nat_op: n x(op;id) e,
grp_op: *,
grp_id: e
Latex:
n \mcdot{} e == n x(*;e) e
Date html generated:
2016_05_15-PM-00_16_23
Last ObjectModification:
2015_09_23-AM-06_25_06
Theory : groups_1
Home
Index