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