Def CategoryTheory.Limits.preservesSmallestColimitsOfPreservesColimits

Modification history

2023-03-01 07:31

Mathlib/CategoryTheory/Limits/Preserves/Basic.lean

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

Added CategoryTheory.Limits.preservesSmallestColimitsOfPreservesColimits View on Github →