Theorem CategoryTheory.ObjectProperty.prop_of_isColimit_cokernelCofork

Modification history

2026-03-17 19:40
Mathlib/CategoryTheory/ObjectProperty/Kernels.lean
feat(CategoryTheory/ObjectProperty/Kernels): Object properties of (co)kernels (#36481) …
Added CategoryTheory.ObjectProperty.prop_of_isColimit_cokernelCoforkView on Github →