Def CategoryTheory.Limits.coker.π

Modification history

2025-10-25 10:31

Mathlib/CategoryTheory/Limits/Shapes/Kernels.lean

feat(CategoryTheory/Limits/Shapes): (co)kernel as a functor (#30674) …

Added CategoryTheory.Limits.coker.π View on Github →