Theorem CategoryTheory.Presieve.IsSheafFor.valid_glue

Modification history