Theorem TopCat.Presheaf.isSheaf_of_isSheafUniqueGluing_types

Modification history