La composición de dos funciones monótonas es monótona
Demostrar que la composición de dos funciones monótonas es monótona.
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 9 |
import data.real.basic variables (f g : ℝ → ℝ) example (mf : monotone f) (mg : monotone g) : monotone (f ∘ g) := sorry |
Read More «La composición de dos funciones monótonas es monótona»