Def TopCat.Presheaf.SheafCondition.pairwiseToOpensLeCover

Modification history