Theorem TopCat.Presheaf.germ_eq

Modification history