Theorem CategoryTheory.Presieve.FamilyOfElements.compPresheafMap_id

Modification history