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

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