Theorem CategoryTheory.Presheaf.isSheaf_iff_extensiveSheaf_of_projective

Modification history