Theorem 8.12 . [01ZV]
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
Theorem 8.12.
There exists such that if satisfies , , and , then there exists such that has at most diffeomorphism types. Further, can be chosen so that it’s boundary is diffeomorphic to and satisfies the second fundamental form estimate .