Nuprl Definition : bpa-minus

bpa-minus(p;x) ==  let n,a = x in <n, -(a)>


Definitions occuring in Statement :  p-minus: -(x),  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  spread: spread def,  pair: <a, b>,  p-minus: -(x)
FDL editor aliases :  bpa-minus
Latex:
bpa-minus(p;x)  ==    let  n,a  =  x  in  <n,  -(a)>


Date html generated: 2018_05_21-PM-03_24_26
Last ObjectModification: 2018_02_05-AM-09_47_08

Theory : rings_1


Home Index