Utilisateur : Deweerdt
Développements
Développement : Théorème de Heine + Application
Preuve utilisant la caractérisation topologique de la compacité
Références :