H Du, T Liu, YS Moon, K Shimizu - Compositio Mathematica, 2024 - cambridge.org
We introduce the notion of completed-local systems on the generic fiber of the formal
scheme and show that it gives an equivalence of categories. This generalizes the work of …