Theorem: BVBinPred.eval_ult (LeanSAT/Reflect/BVExpr/Basic.lean)

State before:
w : Nat
⊢ ult.eval = BitVec.ult
Tactic:
rfl
State after:
no goals