Def CategoryTheory.sheafSectionsNatIsoEvaluation

Modification history

2025-04-10 17:59

Mathlib/CategoryTheory/Sites/Sheaf.lean

feat(CategoryTheory/Sites): global sections functor on sheaves (#22816) …

Added CategoryTheory.sheafSectionsNatIsoEvaluation View on Github →