3simpb Show Code edit
# Simplification of triple conjunction.
thm (3simpb () () (-> (/\/\ ph ps ch) (/\ ph ch)) ph ps ch 3ancomb ph ch ps 3simpa sylbi)
(-> (/\/\ ph ps ch) (/\ ph ch))
edit