Etiquetas
- Análisis
- Cauchy
- Congruencia
- Conjuntos
- Cuantificadores
- Diferencia
- Divisibilidad
- Funciones
- Fundamentos
- Imagen
- Imagen inversa
- Inclusióm
- Inclusión
- Inducción
- Interseccióm
- Intersección
- Intersección general
- Inyectivas
- Isabelle
- Lean4
- LeanProver
- Límites
- Lógica
- Lógica proposicional
- Números reales
- Primos
- RetoLean4
- Sucesiones
- Teoría de números
- Unión
- Unión general