Theorem TopCat.Presheaf.isSheafUniqueGluing_of_isSheaf_types

Modification history