Def CategoryTheory.Limits.LimitPresentation.changeDiag

Modification history

2025-09-26 06:47

Mathlib/CategoryTheory/Limits/Presentation.lean

feat(CategoryTheory): limit presentations (#29849) …

Added CategoryTheory.Limits.LimitPresentation.changeDiag View on Github →