Sign == fst(snd(snd(snd(snd(snd(snd(s)))))))
Definitions :
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
ses-sign
Sign == fst(snd(snd(snd(snd(snd(snd(s)))))))
Date html generated:
2010_08_28-AM-01_50_11
Last ObjectModification:
2010_02_22-PM-12_03_40
Home
Index