Theorem ComplexShape.up'_mk

Modification history

2026-02-25 17:28

Mathlib/Algebra/Homology/ComplexShape.lean

feat(Algebra/Homology/ComplexShape): use `to_dual` (#35019) …

Added ComplexShape.up'_mk View on Github →