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

State before:
a : Bool
⊢ decide (a = true) = a
Tactic:
simp
State after:
no goals