Def Top.sheaf_condition.cover.of_open_embedding

Modification history