Theorem HomologicalComplex.extend_op_d

Modification history

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