e
e'.P[e] == e:E. (e loc e' c
P[e])
Definitions :
exists: x:A. B[x],
es-E: E,
cand: A c B,
es-le: e loc e'
FDL editor aliases :
existse-le
\mexists{}e\mleq{}e'.P[e] == \mexists{}e:E. (e \mleq{}loc e' c\mwedge{} P[e])
Date html generated:
2010_08_27-AM-09_27_39
Last ObjectModification:
2009_12_16-AM-01_02_06
Home
Index