Theorem HomologicalComplex.extend.XOpIso_hom_d_op

Modification history

2024-11-30 00:03
Mathlib/Algebra/Homology/Embedding/Extend.lean
feat(Algebra/Homology/Embedding): dualise extend (#19560) …
Added HomologicalComplex.extend.XOpIso_hom_d_opView on Github →