Theorem TopCat.Sheaf.existsUnique_gluing

Modification history