Def CategoryTheory.Limits.LimitPresentation.self

Modification history

2025-09-26 06:47

Mathlib/CategoryTheory/Limits/Presentation.lean

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

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