Revision #2556 → #3887 · back to history
modifiedCycles and boundaries9254ac95d90a
| Field | From #2556 | To #3887 |
|---|
| mathlib.module | Mathlib.Algebra.Homology.HomologicalComplex | Mathlib.Algebra.Homology.ShortComplex.HomologicalComplex |
modifiedChain map preserves cycles and boundaries4223ad338f12
| Field | From #2556 | To #3887 |
|---|
| mathlib.module | Mathlib.Algebra.Homology.HomologicalComplex | Mathlib.Algebra.Homology.ShortComplex.HomologicalComplex |
addedSlope of an affine function equals its slope coefficient840f218272a5
addedIterated forward differenced8e8a499fe15
addedSimplex (geometric)570ccb31b12f
addedFace of a simplex654202cdd166
addedDual vector spaceaf41d043f868
addedHodge star operatord65a61360ec0
addedHodge decompositione762fb2bbf29
addedExterior derivative (continuous forms)73f6d3140e18
addedSimplicial approximation theorem117407fd2087