Theorem TopCat.Presheaf.isSheaf_iff_isSheafPairwiseIntersections

Modification history