The Stacks project

62 The Trace Formula