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

State before:
x y : Bool
⊢ ((x = true) = (y = true)) = (x = y)
Tactic:
simp
State after:
no goals