Theorem CategoryTheory.Presieve.FamilyOfElements.isAmalgamation_iff_ofArrows

Modification history