Def TopCat.Presheaf.SheafCondition.pairwiseCoconeIso

Modification history