Theorem HomologicalComplex.preservesLimitsOfShape_of_eval

Modification history

2025-12-13 14:21

Mathlib/Algebra/Homology/HomologicalComplexLimits.lean

chore: use `Category*` everywhere (#32842) …

Modified HomologicalComplex.preservesLimitsOfShape_of_eval View on Github →

2024-11-19 08:25

Mathlib/Algebra/Homology/HomologicalComplexLimits.lean

refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …

Added HomologicalComplex.preservesLimitsOfShape_of_eval View on Github →