Si |x + 3| < 5, entonces -8 < x < 2
Demostrar con Lean4 que si |x+3|<5, entonces −8<x<2.
Para ello, completar la siguiente teoría de Lean4:
Demostrar con Lean4 que si |x+3|<5, entonces −8<x<2.
Para ello, completar la siguiente teoría de Lean4:
|
1 2 3 4 5 6 |
import Mathlib.Data.Real.Basic variable (x y : ℝ) example : |x + 3| < 5 → -8 < x ∧ x < 2 := by sorry |