Theorem TopCat.Presheaf.isSheaf_iff_isSheafUniqueGluing_types

Modification history