Theorem CategoryTheory.Presieve.FamilyOfElements.Compatible.compPresheafMap

Modification history