Theorem CategoryTheory.Presieve.IsSheafFor.isSeparatedFor

Modification history