La semana en Calculemus (27 de abril de 2024)
Esta semana he publicado en Calculemus las demostraciones con Lean4 e Isabelle/HOL de las siguientes propiedades:
- 1. Unión con la imagen
- 2. Intersección con la imagen
- 3. Unión con la imagen inversa
- 4. Imagen de la unión general
- 5. Imagen de la intersección general
A continuación se muestran las soluciones.
Read More “La semana en Calculemus (27 de abril de 2024)”