Commit 2023-11-01 09:55 e3bc933a

View on Github →

chore(CategoryTheory/Limits/Shapes/Terminal): remove some unnecessary HasLimit and HasColimit hypotheses (#8068)

Estimated changes

Modified Mathlib/CategoryTheory/Limits/Shapes/Terminal.lean

modified def CategoryTheory.Limits.colimitOfInitial

modified def CategoryTheory.Limits.colimitOfTerminal

modified def CategoryTheory.Limits.limitOfInitial

modified def CategoryTheory.Limits.limitOfTerminal