Theorem TopCat.Presheaf.isSheaf_iff_isSheaf_comp

Modification history