Theorem CategoryTheory.Limits.KernelFork.map_condition

Modification history

2023-08-06 06:23
Mathlib/CategoryTheory/Limits/Preserves/Shapes/Kernels.lean
feat: basic results about preservation of kernels/cokernels (#6279) …
Added CategoryTheory.Limits.KernelFork.map_conditionView on Github →