Def CategoryTheory.Sheaf.Subcanonical.yonedaCompSheafToPresheaf

Modification history