isempty{isempty_compseq_tag_def:o}(e; eo) == compseq(e 
Empty; ff)
Definitions :
in-eclass: e X,
es-empty-interface: Empty,
bfalse: ff
isempty\{isempty\_compseq\_tag\_def:o\}(e; eo) == compseq(e \mmember{}\msubb{} Empty; ff)
Date html generated:
2010_08_27-PM-02_04_54
Last ObjectModification:
2010_01_26-PM-05_26_32
Home
Index