Theorem CategoryTheory.Presheaf.isSheaf_iff_of_isGeneratedByOneHypercovers

Modification history