Revision #1302 → #2592 · back to history
modifiedSingular and simplicial chains953bfbb0ae8d
| Field | From #1302 | To #2592 |
|---|
| mathlib.decl | singularChainComplexFunctor | AlgebraicTopology.singularChainComplexFunctor |
| provenance | ai | ai-moderated |
modifiedInduced homomorphism on homologyba54ffc8b2d0
| Field | From #1302 | To #2592 |
|---|
| mathlib.decl | singularHomologyFunctor | AlgebraicTopology.singularHomologyFunctor |
| provenance | ai | ai-moderated |
modifiedQuasi-isomorphism4bb164f5ac3e
| Field | From #1302 | To #2592 |
|---|
| mathlib.decl | HomologicalComplex.QuasiIso | QuasiIso |
| provenance | ai | ai-moderated |