∃ x ∈ ℝ, 2 < x < 3
Demostrar que ∃ x ∈ ℝ, 2 < x < 3
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 |
import data.real.basic example : ∃ x : ℝ, 2 < x ∧ x < 3 := sorry |
Demostrar que ∃ x ∈ ℝ, 2 < x < 3
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 |
import data.real.basic example : ∃ x : ℝ, 2 < x ∧ x < 3 := sorry |