Theorem CategoryTheory.Presieve.FamilyOfElements.Compatible.pullback

Modification history