via Wikidata · CC0
Le lemme de recouvrement de Vitali est un résultat combinatoire de théorie de l'intégration des espaces euclidiens. Il est largement utilisé dans des démonstrations en analyse réelle.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).