Theorem CategoryTheory.Presieve.IsSheafFor.isAmalgamation

Modification history