Si a, b ∈ ℝ, entonces min(a,b) = min(b,a)
Demostrar que si a, b ∈ ℝ, entonces min(a,b) = min(b,a).
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 |
import data.real.basic variables a b : ℝ example : min a b = min b a := sorry |