Nuprl Definition : mkpadic

(a/p^n) ==  bpa-norm(p;<n, a>)


Definitions occuring in Statement :  bpa-norm: bpa-norm(p;x),  pair: <a, b>
Definitions occuring in definition :  bpa-norm: bpa-norm(p;x),  pair: <a, b>
FDL editor aliases :  mkpadic
Latex:
(a/p\^{}n)  ==    bpa-norm(p;<n,  a>)


Date html generated: 2018_05_21-PM-03_26_25
Last ObjectModification: 2018_02_02-PM-02_16_00

Theory : rings_1


Home Index