Theorem TopCat.Presheaf.germ_exist

Modification history