$\newcommand\bbR[0]{\mathbb{R}} \newcommand\bbN[0]{\mathbb{N}} \newcommand\bbZ[0]{\mathbb{Z}} \newcommand\bbQ[0]{\mathbb{Q}} \newcommand\spa[0]{\mathrm{span}} \newcommand\bbC[0]{\mathbb{C}} \newcommand\bbF[0]{\mathbb{F}} \newcommand\bbI[0]{\mathbb{I}} \newcommand\rsi[0]{\mathscr{R}} \newcommand\uppI[0]{\mathcal{U}} \newcommand\lowI[0]{\mathcal{L}} \newcommand\parts[0]{\mathcal{P}} \newcommand\<[0]{\langle} \renewcommand\>[0]{\rangle} \newcommand\open[0]{\degree} \newcommand\Cl{\mathrm{Cl}} \newcommand\Arg{\mathrm{Arg}} \newcommand\ds{\displaystyle} \renewcommand\epsilon{\upvarepsilon} \newcommand{\Aut}{\mathrm{Aut}} \newcommand{\Pr}{\mathbb{P}} \newcommand{\Exp}{\mathbb{E}} \newcommand{\Var}{\mathbb{V}\mathrm{ar}} \newcommand{\rad}{\mathrm{rad}} \newcommand\comp[0]{^{c}} \renewcommand\Vec{\mathrm{Vec}} \newcommand\Hilb{\mathrm{Hilb}} \newcommand\Fib{\mathrm{Fib}} \newcommand\YL{\mathrm{YL}} \newcommand\Dim{\mathrm{dim}} \newcommand\ev{\mathrm{ev}} \newcommand\coev{\mathrm{coev}} \newcommand\id{\mathrm{id}} \newcommand{\Vecw}{\Vec_{\mathrm{fd}}(\bbZ/2\bbZ, \omega)} $