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