Gaitsgory's factorization conjecture for local systems on the formal punctured disc
Gaitsgory's factorization conjecture. There exists a fully faithful functor