es-interface-empty(es;I) == 
e:E. (
e 
I)
Definitions :
all: x:A. B[x],
es-E: E,
not: A,
assert: b,
in-eclass: e X
FDL editor aliases :
es-interface-empty
es-interface-empty(es;I) == \mforall{}e:E. (\mneg{}\muparrow{}e \mmember{}\msubb{} I)
Date html generated:
2010_08_27-PM-02_04_48
Last ObjectModification:
2010_01_25-PM-07_34_09
Home
Index