Def HomologicalComplex.dNatTrans

Modification history

2026-08-11 16:58

Mathlib/Algebra/Homology/HomologicalComplex.lean

chore(Algebra/Homology): make `HomologicalComplex.eval` `implicit_reducible` (#42648)

Modified HomologicalComplex.dNatTrans View on Github →

2026-04-04 14:07

Mathlib/Algebra/Homology/HomologicalComplex.lean

chore(AlgebraicTopology): missing API for singular homology (#36939)

Added HomologicalComplex.dNatTrans View on Github →