---

e'e.P[e'] ==  e':E. (e loc e'   P[e'])

---

Definitions :  all: x:A. B[x],  es-E: E,  implies: P  Q,  es-le: e loc e' 
FDL editor aliases :  alle-ge

---

\mforall{}e'\mgeq{}e.P[e']  ==    \mforall{}e':E.  (e  \mleq{}loc  e'    {}\mRightarrow{}  P[e'])


Date html generated: 2010_08_27-AM-09_27_59
Last ObjectModification: 2009_12_16-AM-01_02_29

Home Index