Loading paper
Applications of (higher) categorical trace II: Deligne-Lusztig theory | Tomesphere