On the regularity of the composition of diffeomorphisms

For $M$ a closed manifold or the Euclidean space $mathbbRn$, the authors present a detailed proof of regularity properties of the composition of $Hs$-regular diffeomorphisms of $M$ for $s frac12dim M 1$.