Theorem: Etch.Verification.Stream.bothand_spec (Etch/StreamFusion/Multiply.lean)

State before:
⊢ ∀ (x y : Bool), bothand x y = (x && y)
Tactic:
decide
State after:
no goals