Proof of the geometric Langlands conjecture III: compatibility with parabolic induction

We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.