P
Initializing...
The primitive comparison theorem (Scholze, cited as [34, Theorem 5.1]) · Prove2Me