Theorem CategoryTheory.Presieve.IsSheaf.isSeparated

Modification history