Def CategoryTheory.GrothendieckTopology.coneCompEvaluationOfConeCompDiagramFunctorCompEvaluation

Modification history

2025-06-15 07:29
Mathlib/CategoryTheory/Sites/LeftExact.lean
chore(CategoryTheory/Sites): generalize universes for sheafification (#25877)
Modified CategoryTheory.GrothendieckTopology.coneCompEvaluationOfConeCompDiagramFunctorCompEvaluationView on Github →
2023-05-01 22:19
Mathlib/CategoryTheory/Sites/LeftExact.lean
feat: port CategoryTheory.Sites.LeftExact (#3706)
Added CategoryTheory.GrothendieckTopology.coneCompEvaluationOfConeCompDiagramFunctorCompEvaluationView on Github →