pm2.83 Show Code edit
thm (pm2.83 () () (-> (-> ph (-> ps ch)) (-> (-> ph (-> ch th))
(-> ph (-> ps th))))
ps ch th imim1 ph imim3i)
(-> (-> ph (-> ps ch)) (-> (-> ph (-> ch th)) (-> ph (-> ps th))))
edit