Nuprl Definition : pa-minus

pa-minus(p;x) ==  bpa-norm(p;bpa-minus(p;x))


Definitions occuring in Statement :  bpa-norm: bpa-norm(p;x),  bpa-minus: bpa-minus(p;x)
Definitions occuring in definition :  bpa-norm: bpa-norm(p;x),  bpa-minus: bpa-minus(p;x)
FDL editor aliases :  pa-minus
Latex:
pa-minus(p;x)  ==    bpa-norm(p;bpa-minus(p;x))


Date html generated: 2018_05_21-PM-03_27_19
Last ObjectModification: 2018_02_05-AM-09_47_45

Theory : rings_1


Home Index