TY - RPRT TI - Coherent six-functor formalisms: Pro vs Solid AU - Fei Ren PY - 2026 UR - https://arxiv.org/abs/2506.21082 ID - 2506.21082 ER -