Theorem CategoryTheory.GradedObject.ιMapObjOrZero_eq

Modification history

2026-08-11 00:21
Mathlib/CategoryTheory/GradedObject.lean
chore: bump toolchain to v4.34.0-rc1 (#42619)
Modified CategoryTheory.GradedObject.ιMapObjOrZero_eqView on Github →
2024-02-13 21:51
Mathlib/CategoryTheory/GradedObject.lean
feat(Algebra/Homology): the total complex of a bicomplex (#9331)
Added CategoryTheory.GradedObject.ιMapObjOrZero_eqView on Github →