Si a, b, c ∈ ℝ, entonces min a b + c = min (a + c) (b + c)

Sean a, b y c números reales. Demostrar que

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

Read More «Si a, b, c ∈ ℝ, entonces min a b + c = min (a + c) (b + c)»