Def CategoryTheory.Functor.Final.isColimitExtendCoconeEquiv

Modification history

2023-03-13 13:03

Mathlib/CategoryTheory/Limits/Final.lean

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

Added CategoryTheory.Functor.Final.isColimitExtendCoconeEquiv View on Github →