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

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

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

Soluciones con Lean

Se puede interactuar con la prueba anterior en esta sesión con Lean.

Referencias

Escribe un comentario