Def Top.presheaf.sheaf_condition_unique_gluing

Modification history