Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Sieve.shrinkFunctor
Modification history
2026-03-13 23:21
Mathlib/CategoryTheory/Sites/Sieves.lean
chore(CategoryTheory/Sites): generalize universes in `Presieve.isSheafFor_iff_yonedaSheafCondition` (#36461) …
Added
CategoryTheory.Sieve.shrinkFunctor
View on Github →