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