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