Theorem TopCat.Presheaf.germ_stalkSpecializes

Modification history