We prove that cohomological descent holds for finitely presented crystals on the overconvergent site with respect to proper or fppf hypercovers.
生成讲解博客的中文版本
生成AI智能校验的中文版本