Theorem: Dir.backBack (days/day22.lean)

State before:
d : Dir
⊢ back (back d) = d
Tactic:
cases d <;> simp [back]
State after:
no goals