3simp1 Show Code edit
# Simplification of triple conjunction.
thm (3simp1 () () (-> (/\/\ ph ps ch) ph) ph ps ch 3simpa pm3.26d)
(-> (/\/\ ph ps ch) ph)
edit