Theorem ComplexShape.prev_eq_self

Modification history

2026-02-25 17:28
Mathlib/Algebra/Homology/ComplexShape.lean
feat(Algebra/Homology/ComplexShape): use `to_dual` (#35019) …
Deleted ComplexShape.prev_eq_selfView on Github →
2025-07-29 03:01
Mathlib/Algebra/Homology/ComplexShape.lean
chore: some whitespace fixes (#27485) …
Modified ComplexShape.prev_eq_selfView on Github →
2024-07-17 21:45
Mathlib/Algebra/Homology/ComplexShape.lean
feat(Algebra/Homology): boundaries of embeddings of complex shapes (#14650) …
Added ComplexShape.prev_eq_selfView on Github →