Theorem CategoryTheory.Presieve.IsSeparatedFor.isSheafFor

Modification history