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