Tubular neighbourhood theorem: Difference between revisions