Theorem TopCat.Presheaf.germ_ext

Modification history