f(x) ==  (snd(f)) x
Definitions : 
apply: f a, 
pi2: snd(t)
FDL editor aliases : 
fpf-ap
f(x)  ==    (snd(f))  x
Date html generated:
2010_08_26-PM-11_44_13
Last ObjectModification:
2008_02_27-PM-09_37_21
Home
Index