1 problem

Let $T$ be a very presentable geometric $n$-stack, and let $X$ be a smooth projective variety. Write $X_{DR}$ for its de Rham formal stack. The de Rham mapping-stack conjecture. Th…