Theorem CategoryTheory.Presieve.FamilyOfElements.IsAmalgamation.compPresheafMap

Modification history