Theorem TopCat.Presheaf.isGluing_iff_pairwise

Modification history