Nuprl Definition : omral_action
v ⋅⋅ ps == <e,v>* ps
Definitions occuring in Statement :
omral_scale: <k,v>* ps,
grp_id: e
Definitions occuring in definition :
omral_scale: <k,v>* ps,
grp_id: e
Latex:
v \mcdot{}\mcdot{} ps == <e,v>* ps
Date html generated:
2016_05_16-AM-08_26_36
Last ObjectModification:
2015_09_23-AM-09_53_20
Theory : polynom_3
Home
Index