Nuprl Definition : left-move

left-move(g;x) ==  (snd(g)) (inl x)


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


Date html generated: 2018_05_22-PM-09_52_27
Last ObjectModification: 2018_02_14-PM-08_54_56

Theory : Numbers!and!Games


Home Index