Def CategoryTheory.Limits.Types.coconeOfSet

Modification history

2024-01-06 17:34

Mathlib/CategoryTheory/Limits/Preserves/Ulift.lean

feat: uliftFunctor preserves arbitrary colimits (#8545) …

Added CategoryTheory.Limits.Types.coconeOfSet View on Github →