Loading paper
Normality and quotient in crossed modules over groupoids and double groupoids | Tomesphere