Theorem: SatStress.t1 (Test/Bv/SatStress.lean)

State before:
x : Bool
x✝¹ : x = true
x1 x0 : Bool
x✝ : (x0 && x1) = x
⊢ x0 = true
Tactic:
bv_decide
State after:
no goals