Def TopCat.Presheaf.SheafCondition.pairwiseToOpensLeCoverMap

Modification history