José A. AlonsoDemostrar que para todo c ∈ ℝ, la función f(x) = x+c es inyectiva.
Para ello, completar la siguiente teoría de Lean:
import data.real.basic open function variable {c : ℝ} example : injective (λ x, x + c) := sorry |
Demostrar que para todo c ∈ ℝ, la función f(x) = x+c es inyectiva.
Para ello, completar la siguiente teoría de Lean:
import data.real.basic open function variable {c : ℝ} example : injective (λ x, x + c) := sorry |