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

State before:
a b c x y : ℝ
z : ℂ
n : ℕ
h : x ≤ y
⊢ Complex.abs z * x ≤ Complex.abs z * y
Tactic:
bound
State after:
no goals