Index - E
| Elem | Data.Type.Universe |
| ElemSym0 | Data.Type.Universe |
| ElemSym1 | Data.Type.Universe |
| ElemSym2 | Data.Type.Universe |
| elimDisproof | Data.Type.Predicate |
| emptySubset | Data.Type.Universe.Subset |
| entailAll | Data.Type.Predicate.Quantification |
| entailAllF | Data.Type.Predicate.Quantification |
| entailAny | Data.Type.Predicate.Quantification |
| entailAnyF | Data.Type.Predicate.Quantification |
| EqualTo | Data.Type.Predicate |
| Equiv | Data.Type.Predicate.Logic |
| Evident | Data.Type.Predicate, Data.Type.Predicate.Logic |
| explosion | Data.Type.Predicate.Logic |