Def CategoryTheory.Presheaf.IsSheaf'

Modification history