Revision #2217 → #2515 · back to history
8c2b5241f57b| Field | From #2217 | To #2515 |
|---|---|---|
| mathlib.decl | singularHomologyFunctor | AlgebraicTopology.singularHomologyFunctor |
| provenance | ai | ai-moderated |
7c5538013b52| Field | From #2217 | To #2515 |
|---|---|---|
| mathlib.decl | CWComplex | Topology.CWComplex |
| provenance | ai | ai-moderated |
27e838645849| Field | From #2217 | To #2515 |
|---|---|---|
| mathlib.decl | singularHomologyFunctor | AlgebraicTopology.singularHomologyFunctor |
| provenance | ai | ai-moderated |