Index - E
| eitherAltCong | Type.Family.Either |
| eitherApCong | Type.Family.Either |
| EitherC | Type.Family.Either |
| eitherC | Type.Class.Witness |
| eitherFmapCong | Type.Family.Either |
| eitherPamfCong | Type.Family.Either |
| Elem | Data.Type.Index |
| elemIndex | Data.Type.Index |
| elimDifference | Data.Type.Difference |
| elimFin | Data.Type.Fin |
| elimIndex | Data.Type.Index |
| elimLength | Data.Type.Length |
| elimNat | Data.Type.Nat |
| elimProd | Data.Type.Product |
| elimRemove | Data.Type.Remove |
| elimSum | Data.Type.Sum |
| elimV | Data.Type.Vector |
| elimVecT | Data.Type.Vector |
| entailed | Type.Class.Witness |
| Env | |
| 1 (Type/Class) | Data.Type.Product.Env |
| 2 (Data Constructor) | Data.Type.Product.Env |
| Eq1 | Type.Class.Higher |
| eq1 | Type.Class.Higher |
| Eq2 | Type.Class.Higher |
| eq2 | Type.Class.Higher |
| Eq3 | Type.Class.Higher |
| eq3 | Type.Class.Higher |
| EQS | Data.Type.Nat.Inequality |
| EQZ | Data.Type.Nat.Inequality |
| Every | Data.Type.Index |
| every | Data.Type.Index |
| Every2 | Data.Type.Index |
| every2 | Data.Type.Index |
| EveryC | Data.Type.Index |
| exConjEq | Data.Type.Conjunction |
| exFalso | Type.Class.Witness |
| expCong | Type.Family.Nat |