Revision #1162 → #2556 · back to history
modifiedSimplicial k-chainaee4ef0c2b96
| Field | From #1162 | To #2556 |
|---|
| mathlib.decl | AlgebraicTopology.AlternatingFaceMapComplex | AlgebraicTopology.alternatingFaceMapComplex |
| provenance | ai | ai-moderated |
modifiedVector space of k-chains8faa1d57e901
| Field | From #1162 | To #2556 |
|---|
| mathlib.decl | AlgebraicTopology.AlternatingFaceMapComplex | AlgebraicTopology.alternatingFaceMapComplex |
| provenance | ai | ai-moderated |
modifiedSimplicial map4d663804fb10
| Field | From #1162 | To #2556 |
|---|
| mathlib.decl | Geometry.PreAbstractSimplicialComplex.map | PreAbstractSimplicialComplex.map |
| provenance | ai | ai-moderated |