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