additive): dualise statement of chain complex to cochain complex (#12840)

Commit

3 years ago

feat(algebra/homology/additive): dualise statement of chain complex to cochain complex (#12840)

Author

jjaassoonn

Parents