DAO: La semana en Calculemus (9 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 ∈ R, entonces 0 * a = 0
- 2. Si R es un anillo y a,b∈R tales que a+b=0, entonces -a=b
- 3. Si R es un anillo y a,b∈R tales que a+b=0, entonces a=-b
- 4. Si R es un anillo, entonces -0 = 0
- 5. Si R es un anillo y a ∈ R, entonces -(-a) = a
A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (9 de septiembre de 2022)”