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

State before:
l r : Formula
⊢ swapper (and l r) = and r l
Tactic:
rfl
State after:
no goals