Tube lemma

cosmos 30th September 2017 at 11:38pm
Compact space