Def CategoryTheory.Presieve.IsSheafFor

Modification history