Def Top.presheaf.sheaf_condition.opens_le_cover_cocone

Modification history