Theorem CategoryTheory.Presieve.isSeparated_of_isSheaf

Modification history