Def CategoryTheory.Limits.IsColimit.ofReflectsCoconeInitial

Modification history

2024-11-19 08:25

Mathlib/CategoryTheory/Limits/ConeCategory.lean

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

Deleted CategoryTheory.Limits.IsColimit.ofReflectsCoconeInitial View on Github →

2023-03-11 14:23

Mathlib/CategoryTheory/Limits/ConeCategory.lean

feat: Port CategoryTheory.Limits.ConeCategory (#2767)

Added CategoryTheory.Limits.IsColimit.ofReflectsCoconeInitial View on Github →