Index - E
| elimAndL | Logic.Propositional, GDP |
| elimAndR | Logic.Propositional, GDP |
| elimEx | Logic.Propositional, GDP |
| elimImpl | Logic.Propositional, GDP |
| elimNot | Logic.Propositional, GDP |
| elimNotNot | Logic.Propositional, GDP |
| elimOr | Logic.Propositional, GDP |
| elimOrL | Logic.Propositional, GDP |
| elimOrR | Logic.Propositional, GDP |
| elimUniv | Logic.Propositional, GDP |
| elim_inj | Logic.Classes, GDP |
| Equals | Theory.Equality, GDP |
| Exists | Logic.Propositional, GDP |
| exorcise | Data.Refined, GDP |