Theorem CategoryTheory.Presieve.FamilyOfElements.map_id

Modification history

2025-09-26 06:47
Mathlib/CategoryTheory/Sites/IsSheafFor.lean
chore(CategoryTheory/Sites): remove `FamilyOfElements.compPresheafMap` in favour of `.map` (#29977) …
Added CategoryTheory.Presieve.FamilyOfElements.map_idView on Github →