Def CategoryTheory.Limits.CokernelCofork.mapIsColimit

Modification history

2024-08-30 08:52

Mathlib/CategoryTheory/Limits/Preserves/Shapes/Kernels.lean

style: some formatting fixes (#16263) …

Modified CategoryTheory.Limits.CokernelCofork.mapIsColimit View on Github →

2023-08-06 06:23

Mathlib/CategoryTheory/Limits/Preserves/Shapes/Kernels.lean

feat: basic results about preservation of kernels/cokernels (#6279) …

Added CategoryTheory.Limits.CokernelCofork.mapIsColimit View on Github →