Theorem TopCat.Presheaf.germ_eq_of_isBasis

Modification history