Para todo c ∈ ℝ, la función f(x) = x+c es inyectiva
Demostrar que para todo c ∈ ℝ, la función f(x) = x+c es inyectiva.
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.real.basic open function variable {c : ℝ} example : injective (λ x, x + c) := sorry |
Read More «Para todo c ∈ ℝ, la función f(x) = x+c es inyectiva»