Autores: Alberto Campuzano Solórzano.
Institución: Universidad de Cantabria (UC)
Asignatura: Trabajo fin de Grado en Matemáticas
Curso: 2025-2026
Licencia: CC BY-NC-SA 4.0

📝 Resumen

Aquí podéis encontrar mi TFG en matemáticas. Trata la demostración del teorema de Nielsen-Schreier desde un punto de vista topológico. Lo más interesante quizás es la incursión en el Axioma de Elección y su implementación en Lean 4

---

Ver el documento completo en PDF

---