Theorem CategoryTheory.Presieve.FamilyOfElements.Compatible.functorPullback

Modification history