Nuprl Definition : set-item

set-item(s;x) ==  (snd(s)) x


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  pi2: snd(t),  apply: f a
FDL editor aliases :  set-item
Latex:
set-item(s;x)  ==    (snd(s))  x


Date html generated: 2018_05_22-PM-09_47_45
Last ObjectModification: 2018_05_16-PM-01_31_14

Theory : constructive!set!theory


Home Index