Mathlib Changelog
v4
Changelog
About
Github
Theorem
HomologicalComplex.truncGE'_d_eq
Modification history
2024-08-30 08:52
Mathlib/Algebra/Homology/Embedding/TruncGE.lean
style: some formatting fixes (#16263) …
Modified
HomologicalComplex.truncGE'_d_eq
View on Github →
2024-07-26 08:26
Mathlib/Algebra/Homology/Embedding/TruncGE.lean
feat(Algebra/Homology): the canonical truncation `truncGE` (#14734) …
Added
HomologicalComplex.truncGE'_d_eq
View on Github →