com4t Show Code edit
## Commute Antecedents (Rotate Twice)
thm (com4t () (1 (-> ph (-> ps (-> ch (-> th ta)))))
(-> ch (-> th (-> ph (-> ps ta))))
1 com4l com4l)
(-> ch (-> th (-> ph (-> ps ta))))
edit