nimp Show Code edit
# aka mth8
thm (nimp () () (-> ph (-> (-. ps) (-. (-> ph ps))))
ph ps pm2.27 con3d)
(-> ph (-> (-. ps) (-. (-> ph ps))))
edit