Theorem CategoryTheory.Presheaf.isSheaf_of_isSheaf_comp

Modification history