/LEAN_ESPACES_METRIQUES

Code Lean contenant les preuves d'un cours standard sur les espaces métriques

Primary LanguageLean

LEAN_ESPACES_METRIQUES

Code Lean contenant les preuves d'un cours standard sur les espaces métriques