Nuprl Definition : p-digits

p-digits(p;a) ==  λn.p-digit(p;a;n)


Definitions occuring in Statement :  p-digit: p-digit(p;a;n),  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  p-digit: p-digit(p;a;n)
FDL editor aliases :  p-digits
Latex:
p-digits(p;a)  ==    \mlambda{}n.p-digit(p;a;n)


Date html generated: 2018_05_21-PM-03_21_29
Last ObjectModification: 2018_01_28-PM-03_12_11

Theory : rings_1


Home Index