Intuitif pour les topologistes

[ Corollaire ]
Il existe \(\eta>0\) tel que la distance entre un point \(k\) de \(K\) à un point du complémentaire de \(\Omega\) soit toujours \(>\eta\).
En savoir plus