Si a, b, c ∈ ℝ, entonces min a b + c = min (a + c) (b + c)
Sean a, b y c números reales. Demostrar que
1 |
min a b + c = min (a + c) (b + c) |
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 |
import data.real.basic variables a b c : ℝ example : min a b + c = min (a + c) (b + c) := sorry |
Read More «Si a, b, c ∈ ℝ, entonces min a b + c = min (a + c) (b + c)»