Theorem CategoryTheory.Presieve.IsSheaf.isSheafFor

Modification history