Theorem CategoryTheory.Presieve.isSheafFor_iff_generate

Modification history