Loading paper
Two monoidal structures on Satake category in mixed characteristic | Tomesphere