Theorem CategoryTheory.GradedObject.ιMapObjOrZero_mapMap

Modification history

2024-02-23 17:24
Mathlib/CategoryTheory/GradedObject.lean
feat(Algebra/Homology): the total complex functor (#10711) …
Added CategoryTheory.GradedObject.ιMapObjOrZero_mapMapView on Github →