E equational theorem prover

1. REDIRECT E (theorem prover)

{{Redirect category shell|

{{R from more specific name}}

{{R from move}}

}}