Def TopCat.Presheaf.IsSheafPairwiseIntersections

Modification history