Theorem CategoryTheory.Presieve.FamilyOfElements.Compatible.sieveExtend

Modification history