On the Regularity of the Composition of Diffeomorphisms

For $M$ a closed manifold or the Euclidean space $\mathbb{R}^n$, the authors present a detailed proof of regularity properties of the composition of $H^s$-regular diffeomorphisms of $M$ for $s > \frac{1}{2}\dim M+1$.