Verify == fst(snd(snd(snd(snd(snd(snd(snd(s))))))))
Definitions :
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
ses-verify
Verify == fst(snd(snd(snd(snd(snd(snd(snd(s))))))))
Date html generated:
2010_08_28-AM-01_50_41
Last ObjectModification:
2010_02_22-AM-11_55_37
Home
Index