pm2.53 Show Code edit
thm (pm2.53 () () (-> (\/ ph ps) (-> (-. ph) ps))
ph ps df-or
(<-> (\/ ph ps) (-> (-. ph) ps))
biimpi
(-> (\/ ph ps) (-> (-. ph) ps))
)
edit