En este repositorio se van recopilando los vídeos del canal en YouTube en los que se muestra cómo construir demostraciones con Lean de ejercicios propuestos en Calculemus.
- Propiedad de monotonía de la intersección (vídeo y editor).
- Propiedad semidistributiva de la intersección sobre la unión (vídeo y editor).
- Diferencia de diferencia de conjuntos (vídeo y editor).
- Intersección con su unión (vídeo y editor).
- Distributiva de la intersección respecto de la unión general (vídeo y editor).
- Imagen inversa de la intersección (vídeo y editor).
- Imagen de la unión (vídeo y editor).
- Teorema de Cantor (vídeo y editor).