Def CategoryTheory.createsColimitsOfShapeOfNatIso

Modification history

2023-03-06 07:28

Mathlib/CategoryTheory/Limits/Creates.lean

feat: port CategoryTheory.Limits.Creates (#2646)

Added CategoryTheory.createsColimitsOfShapeOfNatIso View on Github →