Theorem CategoryTheory.Presieve.isSheafFor_subsieve

Modification history