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