Theorem TopCat.Presheaf.isSheafOpensLeCover_iff_isSheafPairwiseIntersections

Modification history