Theorem TopCat.Presheaf.stalkFunctor_map_injective_of_app_injective

Modification history