pm2.52 Show Code edit
thm (pm2.52 () () (-> (-. (-> ph ps)) (-> (-. ph) (-. ps)))
ph ps nimp2 (-. ph) a1d)
(-> (-. (-> ph ps)) (-> (-. ph) (-. ps)))
edit