Displaying similar documents to “A trace formula for F-crystals.”