pm2.6 Show Code edit
thm (pm2.6 () () (-> (-> (-. ph) ps) (-> (-> ph ps) ps))
ph ps pm2.61 com12)
(-> (-> (-. ph) ps) (-> (-> ph ps) ps))
edit