Def TopCat.Presheaf.SheafCondition.diagramCompPreservesLimits

Modification history