I'm looking for a reference to the fact that the category of crystals on any scheme is locally noetherian. This is stated in Gaitsgory's paper "Crystals and D-modules" but he doesn't provide a reference.
An idea of where to look would be very helpful, thanks very much.