2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/156897We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable under tensor products. So, the overholonomicity gives a $p$-adic cohomology stable under Grothendieck's cohomological operations.41 pagesAlgebraic Geometry14F30text