Inductive CategoryTheory.MorphismProperty.kernels

Modification history

2026-03-17 19:40

Mathlib/CategoryTheory/ObjectProperty/Kernels.lean

feat(CategoryTheory/ObjectProperty/Kernels): Object properties of (co)kernels (#36481) …

Added CategoryTheory.MorphismProperty.kernels View on Github →