Def CategoryTheory.Limits.CokernelCofork.mapIsoOfIsColimit

Modification history

2023-11-10 13:09
Mathlib/CategoryTheory/Limits/Shapes/Kernels.lean
feat(CategoryTheory): more API for limit kernel forks (#8200) …
Added CategoryTheory.Limits.CokernelCofork.mapIsoOfIsColimitView on Github →