Prefer a chat interface with context about you and your work?
Integral perfectoid big Cohen–Macaulay algebras via André’s theorem