Def CategoryTheory.Presheaf.isSheafForIsSheafFor'

Modification history