En los anillos ordenados, 0 ≤ b – a → a ≤ b

Demostrar con Lean4 que en los anillos ordenados
0baab

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

Read More «En los anillos ordenados, 0 ≤ b – a → a ≤ b»