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