Def HomologicalComplex.unopUnitIso

Modification history

2023-05-17 06:12
Mathlib/Algebra/Homology/Opposite.lean
feat: port Algebra.Homology.Opposite (#3998)
Added HomologicalComplex.unopUnitIsoView on Github →