Loading paper
Multiple disjunction for spaces of smooth embeddings | Tomesphere