Theorem TopCat.Presheaf.stalkFunctor_map_injective_of_isBasis

Modification history