Cohomological Mackey formula for quotient stacks | Synapse