Theorem CategoryTheory.Presieve.FamilyOfElements.Compatible.to_sieveCompatible

Modification history