Def CategoryTheory.Limits.preservesColimitsOfShapeOfReflectsOfPreserves

Modification history

2023-03-01 07:31

Mathlib/CategoryTheory/Limits/Preserves/Basic.lean

feat: port/CategoryTheory.Limits.Preserves.Basic (#2377)

Added CategoryTheory.Limits.preservesColimitsOfShapeOfReflectsOfPreserves View on Github →