com4l Show Code edit
## Commute Antecedents (Rotate Left)
thm (com4l () (1 (-> ph (-> ps (-> ch (-> th ta)))))
(-> ps (-> ch (-> th (-> ph ta))))
1 com3l com34)
(-> ps (-> ch (-> th (-> ph ta))))
edit