Theorem CategoryTheory.Presieve.FamilyOfElements.Compatible.restrict

Modification history