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

State before:
a b : Bool
⊢ (a = true ∧ b = true) = ((a && b) = true)
Tactic:
simp
State after:
no goals