En ℝ, si x ≠ 0 entonces x < 0 ó x > 0

Demostrar con Lean4 que en ℝ, si \(x ≠ 0\) entonces \(x < 0\) ó \(x > 0\).

Para ello, completar la siguiente teoría de Lean4:

Read More «En ℝ, si x ≠ 0 entonces x < 0 ó x > 0″