Nuprl Definition : right-move

right-move(g;x) ==  (snd(g)) (inr x )


Definitions occuring in Statement :  pi2: snd(t),  apply: f a,  inr: inr x 
Definitions occuring in definition :  apply: f a,  pi2: snd(t),  inr: inr x 
FDL editor aliases :  right-move
Latex:
right-move(g;x)  ==    (snd(g))  (inr  x  )


Date html generated: 2018_05_22-PM-09_52_30
Last ObjectModification: 2018_02_14-PM-09_03_46

Theory : Numbers!and!Games


Home Index