TY - RPRT TI - Lagrangianity for log extendable overconvergent $F$-isocrystals AU - Daniel Caro PY - 2017 UR - https://arxiv.org/abs/1504.03969 ID - 1504.03969 ER -