TY - RPRT TI - A pro-cdh topology on formal schemes AU - Shane Kelly AU - Shuji Saito PY - 2024 UR - https://arxiv.org/abs/2409.14295 ID - 2409.14295 ER -