Theorem CategoryTheory.Presieve.IsSheafFor.hom_ext

Modification history