Def CategoryTheory.Limits.sigmaFunctor

Modification history

2026-02-27 15:40
Mathlib/CategoryTheory/Limits/Shapes/Products.lean
feat(CategoryTheory/Sites): skyscraper sheaves (#35719) …
Added CategoryTheory.Limits.sigmaFunctorView on Github →