Día: 11 mayo 2024

Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:

• 1. Producto de potencias de la misma base en monoides
• 2. Equivalencia de inversos iguales al neutro
• 3. Unicidad de inversos en monoides
• 4. Caracterización de producto igual al primer factor
• 5. Unicidad del elemento neutro en los grupos

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (11 de mayo de 2024)”