Def CategoryTheory.Presheaf.isLimitOfIsSheaf

Modification history