Nuprl Definition : pa-mul
pa-mul(p;x;y) == bpa-norm(p;bpa-mul(p;x;y))
Definitions occuring in Statement :
bpa-norm: bpa-norm(p;x),
bpa-mul: bpa-mul(p;x;y)
Definitions occuring in definition :
bpa-norm: bpa-norm(p;x),
bpa-mul: bpa-mul(p;x;y)
FDL editor aliases :
pa-mul
Latex:
pa-mul(p;x;y) == bpa-norm(p;bpa-mul(p;x;y))
Date html generated:
2018_05_21-PM-03_26_51
Last ObjectModification:
2018_02_03-AM-00_54_14
Theory : rings_1
Home
Index