Theorem TopCat.Presheaf.isGluing_iff_eq_res

Modification history