The Stacks project

58 The Trace Formula