Def HomologicalComplex.opCounitIso

Modification history

2023-05-17 06:12

Mathlib/Algebra/Homology/Opposite.lean

feat: port Algebra.Homology.Opposite (#3998)

Added HomologicalComplex.opCounitIso View on Github →