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