Def CategoryTheory.Limits.ker.ι

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.ker.ι View on Github →