Theorem CategoryTheory.Limits.IsInitial.isZero

Modification history

2024-07-23 18:21
Mathlib/CategoryTheory/Limits/Shapes/ZeroMorphisms.lean
feat(Algebra): the free abelian group functor preserves monomorphisms (#15058)
Added CategoryTheory.Limits.IsInitial.isZeroView on Github →