Para todo c ∈ ℝ-{0}, la función f(x) = x * c es inyectiva

Demostrar que para todo c ∈ ℝ-{0}, la función f(x) = x * c es inyectiva

Para ello, completar la siguiente teoría de Lean:

Read More «Para todo c ∈ ℝ-{0}, la función f(x) = x * c es inyectiva»

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:

Read More «Para todo c ∈ ℝ, la función f(x) = x+c es inyectiva»

Si a es una cota superior de s y a ≤ b, entonces b es una cota superior de s

Demostrar que si a es una cota superior de s y a ≤ b, entonces b es una cota superior de s

Para ello, completar la siguiente teoría de Lean:

Read More «Si a es una cota superior de s y a ≤ b, entonces b es una cota superior de s»

Si r ⊆ s y s ⊆ t, entonces r ⊆ t

Demostrar que si r ⊆ s y s ⊆ t, entonces r ⊆ t.

Para ello, completar la siguiente teoría de Lean:

Read More «Si r ⊆ s y s ⊆ t, entonces r ⊆ t»