Def CategoryTheory.Limits.KernelFork.isLimitMapConeEquiv

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