Theorem TopCat.Presheaf.stalk_hom_ext

Modification history