30 agosto 2022 – Calculemus

Si R es un anillo y a, b ∈ R, entonces (a + b) + -b = a

PorJosé A. Alonso 30 agosto 202211 septiembre 2022

Demostrar que si R es un anillo, entonces

   ∀ a b : R, (a + b) + -b = a

1	∀ a b : R, (a + b) + -b = a

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

import algebra.ring

variables {R : Type*} [ring R]
variables a b : R

example : (a + b) + -b = a :=
sorry

import algebra.ring

variables {R : Type*} [ring R]

variables a b : R

example : (a + b) + -b = a :=

sorry