cases Show Code edit
## Proof by cases
thm (cases () () (-> (-> ph ps) (-> (-> (-. ph) ps) ps))
ph ps pm2.61)
(-> (-> ph ps) (-> (-> (-. ph) ps) ps))
edit