\propname 6.7.3 . [01WS]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
\propname 6.7.3.
Soit un espace -analytique purement de dimension . Supposons que pour tout , l’application est d’image dense. Soit une famille finie de fibrés vectoriels métrisés PL sur , localement triviaux sur . L’ensemble des points de en lesquels la dimension de définition simultanée des soit égale à est fermé et discret.