Theorem TopCat.Presheaf.isIso_iff_stalkFunctor_map_iso

Modification history