Def Top.presheaf.sheaf_condition_equiv_of_iso

Modification history