Theorem CategoryTheory.Limits.ker.condition

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