Def CategoryTheory.Limits.CokernelCofork.isColimitMapCoconeEquiv

Modification history

2023-08-06 06:23
Mathlib/CategoryTheory/Limits/Preserves/Shapes/Kernels.lean
feat: basic results about preservation of kernels/cokernels (#6279) …
Added CategoryTheory.Limits.CokernelCofork.isColimitMapCoconeEquivView on Github →