Si R es un anillo ordenado y a, b ∈ R, entonces 0 ≤ b – a → a ≤ b

Demostrar que si R es un anillo ordenado y a, b ∈ R, entonces

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

Read More «Si R es un anillo ordenado y a, b ∈ R, entonces 0 ≤ b – a → a ≤ b»