DAO: La semana en Calculemus (2 de septiembre de 2022)
Esta semana he publicado en Calculemus las demostraciones con Lean de las siguientes propiedades:
- 1. Si R es un anillo y a, b ∈ R, entonces -a + (a + b) = b
- 2. Si R es un anillo y a, b ∈ R, entonces (a + b) + -b = a
- 3. Si R es un anillo y a, b, c ∈ R tales que a + b = a + c, entonces b = c
- 4. Si R es un anillo y a, b, c ∈ R tales que a + b = c + b, entonces a = c
- 5. Si R es un anillo y a ∈ R, entonces a * 0 = 0
A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (2 de septiembre de 2022)”