Theorem: no_hyps (Test/Bv/Errors.lean)

State before:
x y : Nat
⊢ x * y = y * x
Tactic:
bv_decide
State after:
no goals