DAO: La semana en Calculemus (18 de noviembre de 2022)

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

A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (18 de noviembre de 2022)”