Theorem CategoryTheory.Preadditive.smul_iso_inv

Modification history

2024-04-18 09:26
Mathlib/CategoryTheory/Preadditive/Basic.lean
feat(Algebra/Homology): compatibilities of homology and shifts (#11782) …
Modified CategoryTheory.Preadditive.smul_iso_invView on Github →
2023-10-20 13:51
Mathlib/CategoryTheory/Preadditive/Basic.lean
feat: the pretriangulated structure on the opposite category (#7336)
Added CategoryTheory.Preadditive.smul_iso_invView on Github →