std-initial(S) == 
x
snd(S).(fst(fst(x))) = (-1)
Definitions :
lg-all: xG.P[x],
pi2: snd(t),
equal: s = t,
int: 
,
pi1: fst(t),
minus: -n,
natural_number: $n
FDL editor aliases :
std-initial
std-initial(S) == \mforall{}x\mmember{}snd(S).(fst(fst(x))) = (-1)
Date html generated:
2010_08_27-PM-06_42_29
Last ObjectModification:
2010_04_29-PM-03_50_59
Home
Index