simpllr Show Code edit
## Simplify: Remove three conjuncts
thm (simpllr () () (-> (/\ (/\ (/\ ph ps) ch) th) ps) ph ps pm3.27 ch th ad2antrr)
(-> (/\ (/\ (/\ ph ps) ch) th) ps)
edit