Def CategoryTheory.GrothendieckTopology.coneCompEvaluationOfConeCompDiagramFunctorCompEvaluation

Modification history

2023-05-01 22:19
Mathlib/CategoryTheory/Sites/LeftExact.lean
feat: port CategoryTheory.Sites.LeftExact (#3706)
Added CategoryTheory.GrothendieckTopology.coneCompEvaluationOfConeCompDiagramFunctorCompEvaluationView on Github →