Theorem ComplexShape.prev_eq'

Modification history

2026-02-25 17:28
Mathlib/Algebra/Homology/ComplexShape.lean
feat(Algebra/Homology/ComplexShape): use `to_dual` (#35019) …
Deleted ComplexShape.prev_eq'View on Github →
2022-11-18 10:29
Mathlib/Algebra/Homology/ComplexShape.lean
feat: port Algebra.Homology.ComplexShape (#635) …
Added ComplexShape.prev_eq'View on Github →