José A. AlonsoSean a, b y c números reales. Demostrar que
min (min a b) c = min a (min b c) |
Para ello, completar la siguiente teoría de Lean:
import data.real.basic tactic variables a b c : ℝ example : min (min a b) c = min a (min b c) := sorry |
Sean a, b y c números reales. Demostrar que
min (min a b) c = min a (min b c) |
Para ello, completar la siguiente teoría de Lean:
import data.real.basic tactic variables a b c : ℝ example : min (min a b) c = min a (min b c) := sorry |