locally-ringed-spaces

• Gluing manifolds along boundaries