e = e' == eqof(es-eq(es)) e e'
Definitions :
apply: f a,
eqof: eqof(d),
es-eq: es-eq(es)
FDL editor aliases :
es-eq-E
e = e' == eqof(es-eq(es)) e e'
Date html generated:
2010_08_27-AM-01_08_14
Last ObjectModification:
2009_12_28-PM-03_49_38
Home
Index