Loading paper
Endomorphisms of power series fields and residue fields of Fargues-Fontaine curves | Tomesphere