Theorem CategoryTheory.Presieve.IsSheafFor.unique_extend

Modification history