Theorem CategoryTheory.Presieve.FamilyOfElements.Compatible.map

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.Compatible.map View on Github →