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:

Read More «La suma de una cota inferior de f y una cota inferior de g es una cota inferior de f+g»