Si R es un anillo y a, b, c ∈ R tales que a + b = a + c, entonces b = c.

Demostrar que si R es un anillo y a, b, c ∈ R tales que

entonces

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

Soluciones con Lean

Se puede interactuar con la prueba anterior en esta sesión con Lean.

Referencias

Escribe un comentario