Theorem CategoryTheory.Limits.CokernelCofork.map_π

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.map_πView on Github →