Theorem CategoryTheory.Limits.IsTerminal.isZero

Modification history

2026-09-13 10:05
Mathlib/CategoryTheory/Limits/Shapes/ZeroMorphisms.lean
chore(CategoryTheory/Limits/Shapes/Zero): use `to_dual` (#43554) …
Deleted CategoryTheory.Limits.IsTerminal.isZeroView on Github →
2024-07-23 18:21
Mathlib/CategoryTheory/Limits/Shapes/ZeroMorphisms.lean
feat(Algebra): the free abelian group functor preserves monomorphisms (#15058)
Added CategoryTheory.Limits.IsTerminal.isZeroView on Github →