Theorem TopCat.Presheaf.germ_stalkPullbackHom

Modification history