1 problem

Let $X$ and $Y$ be locally noetherian fs log adic spaces, and let $f:Y\rightarrow X$ be a proper and log smooth morphism. Let $\Lambda$ be a noetherian torsion ring, and let…