Theorem HomologicalComplex.Hom.inv_f_apply

Modification history

2026-07-03 09:38
Mathlib/Algebra/Homology/HomologicalComplex.lean
chore: fix bad indentation (#40853) …
Modified HomologicalComplex.Hom.inv_f_applyView on Github →
2026-04-27 12:44
Mathlib/Algebra/Homology/HomologicalComplex.lean
chore(Mathlib/Algebra/Homology/HomologicalComplex.lean): automated extraction (#38573) …
Added HomologicalComplex.Hom.inv_f_applyView on Github →