pm2.5 Show Code edit
thm (pm2.5 () () (-> (-. (-> ph ps)) (-> (-. ph) ps))
ph ps nimp1 ps pm2.24d)
(-> (-. (-> ph ps)) (-> (-. ph) ps))
edit