Theorem: Cpdt.Chapter3.Formula.swapper_eq (Cpdt/Chapter3/Reflexive.lean)

State before:
l r : Nat
⊢ swapper (eq l r) = eq r l
Tactic:
rfl
State after:
no goals