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