adantl Show Code edit
## Add Conjunct
##
## (-> [ ph [ ps)
## (-> (/\ ch [ ph) [ ps)
##
thm (adantl () (adantl.1 (-> ph ps)) (-> (/\ ch ph) ps) adantl.1 ch a1i imp)
(-> (/\ ch ph) ps)
edit