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

State before:
a b c x y : ℝ
z : ℂ
n✝ : ℕ
n : x ≥ 0
h : x ≤ y
⊢ y ^ 2 ≥ x ^ 2
Tactic:
bound
State after:
no goals