Theorem CategoryTheory.Limits.IsZero.mono

Modification history

2026-09-13 10:05
Mathlib/CategoryTheory/Limits/Shapes/ZeroObjects.lean
chore(CategoryTheory/Limits/Shapes/Zero): use `to_dual` (#43554) …
Deleted CategoryTheory.Limits.IsZero.monoView on Github →
2025-01-16 22:07
Mathlib/CategoryTheory/Limits/Shapes/ZeroObjects.lean
feat(Algebra/Homology/Embedding): the morphism from a complex to its `truncGE` truncation (#19544) …
Added CategoryTheory.Limits.IsZero.monoView on Github →