Mathlib Changelog
v4
Changelog
About
Github
Theorem
ComplexShape.Embedding.f_eq_of_r_eq_some
Modification history
2024-06-24 07:53
Mathlib/Algebra/Homology/Embedding/Basic.lean
feat: the extension of a homological complex by an embedding of complex shapes (#13992)
Added
ComplexShape.Embedding.f_eq_of_r_eq_some
View on Github →