pm2.42 Show Code edit
# Theorem *2.42 of [bib/WhiteheadRussell] p. 106.
## Remove Disjunct
thm (pm2.42 () () (-> (\/ (-. ph) (-> ph ps)) (-> ph ps)) ph ps pm2.21 (-> ph ps) id jaoi)
(-> (\/ (-. ph) (-> ph ps)) (-> ph ps))
edit