a3dup Show Code edit
thm (a3dup () () (-> (-> (-. (-. ph)) (-. (-. ps))) (-> ph ps))
(-. ph) (-. ps) ax-3 ps ph ax-3 syl)
(-> (-> (-. (-. ph)) (-. (-. ps))) (-> ph ps))
edit