I discovered that there was an entry tubular neighborhood theorem, not cross-linked with tubular neighbourhood, where the latter itself stated the theorem and redirected “tubular neighbourhood theorem”, with that spelling, but not with the other.
I have fixed all that, making the two entries link to each other and adding redirects for the two spellings of da hoods.
]]>added to tubular neighbourhood the statement that the space of tubular neighbourhoods for a given embedding is contractible
]]>Thanks.
]]>Regarding that normal bundle is mentioned, I remember to make few changes to conormal bundle, namely about the definition in the setup of topologizing subcategories.
]]>I added the reference for an anlogue in homotopic algebraic geometry.
]]>stub for tubular neighbourhood
]]>