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