BooksemmMonographpp. 393–397End of proof of Lemma 7.7 on hypoelliptic transfer of compactnessDownload Chapter PDFA subscription is required to access this book chapter.