Demostrar con Lean4 que si \(a\), \(b\), \(c\), \(d\) y \(e\) son números reales tales \(a \leq b\), \(b < c\), \(c \leq d\) y \(d < e\), entonces \(a < e\). Para ello, completar la siguiente teoría de Lean4:

Read More «En ℝ, si a ≤ b, b < c, c ≤ d y d < e, entonces a < e"