1 problem

Let $\Bbbk$ be the base ring. Write $\operatorname{Lie}_{\Bbbk}$ for the $\infty$-category of Lie algebras, and let…