ancl Show Code edit
## Add antecedent
thm (ancl () () (-> (-> ph ps) (-> ph (/\ ph ps))) ph ps pm3.2 a2i)
(-> (-> ph ps) (-> ph (/\ ph ps)))
edit