Loading paper
A uniform Chevalley theorem for direct summands of polynomial rings in mixed characteristic | Tomesphere