Def CategoryTheory.Functor.Final.colimitIso'

Modification history

2024-10-25 22:10

Mathlib/CategoryTheory/Limits/Final.lean

feat(CategoryTheory/Limits/Final): Add pointfree version of `Final.colimitIso` (#17902)

Deleted CategoryTheory.Functor.Final.colimitIso'View on Github →

2023-03-13 13:03

Mathlib/CategoryTheory/Limits/Final.lean

feat: port CategoryTheory.Limits.Final (#2820)

Added CategoryTheory.Functor.Final.colimitIso'View on Github →