Theorem: test_mul (Ray/Tactic/BoundTests.lean)

State before:
n : ℕ
x y : ℝ
u : ℝ≥0
z : ℂ
p : x ≥ 0
q : y ≥ 0
⊢ x * y ≥ 0
Tactic:
bound
State after:
no goals