Dévissage for generation in derived categories | Synapse