Theorem TopCat.Presheaf.stalkFunctor_obj

Modification history