TY - RPRT TI - Overholonomicity of overconvergent $F$-isocrystals over smooth varieties AU - Daniel Caro AU - Nobuo Tsuzuki PY - 2008 UR - https://arxiv.org/abs/0803.2105 ID - 0803.2105 ER -