The Stacks project

60 The Trace Formula