Développement #679

Titre : Borel-Lebesgue implique Bolzano-Weierstrass

Contenu : Équivalence, pour $(X,d)$ métrique, entre Borel Lebesgue et Blozano Weierstrass

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42