Def Top.sheaf.restrict_hom_equiv_hom

Modification history