Theorem TopCat.Presheaf.stalkFunctor_map_germ

Modification history