Theorem CategoryTheory.Presieve.FamilyOfElements.comp_of_compatible

Modification history