Nuprl Definition : pa-int

k(p) ==  <0, k(p)>


Definitions occuring in Statement :  p-int: k(p),  pair: <a, b>,  natural_number: $n
Definitions occuring in definition :  pair: <a, b>,  natural_number: $n,  p-int: k(p)
FDL editor aliases :  pa-int
Latex:
k(p)  ==    ɘ,  k(p)>


Date html generated: 2018_05_21-PM-03_26_43
Last ObjectModification: 2018_02_05-AM-11_05_02

Theory : rings_1


Home Index