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