La suma de una cota inferior de f y una cota inferior de g es una cota inferior de f+g

Demostrar que la suma de una cota inferior de f y una cota inferior de g es una cota inferior de f+g.

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