Theorem TopCat.Presheaf.germ_stalk_specializes'

Modification history