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