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

Demostrar que la suma de una cota superior de f y una cota superior de g es una cota superior 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