Si a, b ∈ ℝ, entonces max(a,b) = max(b,a)

Demostrar que si a, b ∈ ℝ, entonces max(a,b) = max(b,a)

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