\[ \newcommand{\Z}{\mathbb{Z}} \newcommand{\N}{\mathbb{N}} \newcommand{\R}{\mathbb{R}} \newcommand{\c}{\colon} \newcommand{\bs}[1]{\boldsymbol{{#1}}} \newcommand{\hs}{^\ast} \newcommand{\pr}{^\prime} \newcommand{\inv}{^{-1}} \newcommand{\isoto}{\xrightarrow{\sim}} \newcommand{\hom}{\mathrm{Hom}} \newcommand{\eps}{\varepsilon} \newcommand{\dltensor}[1]{\mathcal{\boldsymbol{{#1}}}} \]