Theorem CategoryTheory.Presieve.FamilyOfElements.compPresheafMap_comp

Modification history