Theorem CategoryTheory.Presieve.isSheafFor_subsieve_aux

Modification history