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

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