Theorem TopCat.Presheaf.isSheaf_iff_isSheafPreservesLimitPairwiseIntersections

Modification history