Def TopCat.Presheaf.IsSheafPreservesLimitPairwiseIntersections

Modification history