1 problem

Let $R$ be a smooth $\mathbb Z$-algebra, and let a framing $\square$ define the category of finite projective $R[[q-1]]$-modules equipped with flat $q$-connections with respect to…