3 octubre 2022 – Calculemus

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

PorJosé A. Alonso 3 octubre 202216 septiembre 2022

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

   min (min a b) c = min a (min b c)

1	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

import data.real.basic tactic

variables a b c : ℝ

example :

min (min a b) c = min a (min b c) :=

sorry