Theorem CategoryTheory.Presheaf.isSheaf_coherent_iff_regular_and_extensive

Modification history