Theorem CategoryTheory.Presieve.IsSheafFor.functorInclusion_comp_extend

Modification history