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

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