pm2.25 Show Code edit
thm (pm2.25 () () (\/ ph (-> (\/ ph ps) ps))
ph ps orel1
(-> (-. ph) (-> (\/ ph ps) ps))
orri
(\/ ph (-> (\/ ph ps) ps))
)
edit