Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
stub for tubular neighbourhood
I added the reference for an anlogue in homotopic algebraic geometry.
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.
Thanks.
added to tubular neighbourhood the statement that the space of tubular neighbourhoods for a given embedding is contractible
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.
1 to 6 of 6