Theorem: BVDecide.Normalize.Bool.and_eq_and (LeanSAT/Reflect/Tactics/Normalize/Canonicalize.lean)

State before:
x y : Bool
⊢ x.and y = (x && y)
Tactic:
rfl
State after:
no goals