La suma de dos funciones acotadas inferiormente también lo está
Demostrar con Lean4 que la suma de dos funciones acotadas inferiormente también lo está.
Para ello, completar la siguiente teoría de Lean4:
Read More «La suma de dos funciones acotadas inferiormente también lo está»