The Stacks project

63 The Trace Formula