Def TopCat.Presheaf.SheafCondition.pairwiseToOpensLeCoverObj

Modification history