Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Functor.distTriang_iff
Modification history
2024-06-09 22:38
Mathlib/CategoryTheory/Localization/Triangulated.lean
feat: the homology sequence of a distinguished triangle in the derived category (#13664) …
Added
CategoryTheory.Functor.distTriang_iff
View on Github →