Loading paper
Orbifold completion of defect bicategories | Tomesphere