Développement : Borel-Lebesgue implique Bolzano-Weierstrass

Détails/Enoncé :

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

Recasages pour l'année 2024 :

Versions :

Références utilisées dans les versions de ce développement :