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 2020 :

Versions :