Theorem CategoryTheory.Presheaf.isSheaf_iff_isLimit

Modification history