Structure CategoryTheory.Limits.ColimitPresentation.Total.Hom

Modification history

2025-10-13 07:43
Mathlib/CategoryTheory/Limits/Presentation.lean
chore(CategoryTheory): split Limits.Presentation (#29903) …
Modified CategoryTheory.Limits.ColimitPresentation.Total.HomView on Github →
2025-09-08 19:22
Mathlib/CategoryTheory/Limits/Presentation.lean
feat(CategoryTheory/Limits): colimit presentations (#29382) …
Added CategoryTheory.Limits.ColimitPresentation.Total.HomView on Github →