Theorem CategoryTheory.Limits.ColimitPresentation.Total.exists_hom_of_hom

Modification history

2025-10-13 07:43

Mathlib/CategoryTheory/Limits/Presentation.lean

chore(CategoryTheory): split Limits.Presentation (#29903) …

Modified CategoryTheory.Limits.ColimitPresentation.Total.exists_hom_of_hom View on Github →

2025-09-08 19:22

Mathlib/CategoryTheory/Limits/Presentation.lean

feat(CategoryTheory/Limits): colimit presentations (#29382) …

Added CategoryTheory.Limits.ColimitPresentation.Total.exists_hom_of_hom View on Github →