Revision #1951 → #2567 · back to history
203e8df0462a| Field | From #1951 | To #2567 |
|---|---|---|
| mathlib.decl | IncidenceAlgebra.Mu.eulerChar_prod | IncidenceAlgebra.eulerChar_prod |
| provenance | ai | ai-moderated |
5428955bc223| Field | From #1951 | To #2567 |
|---|---|---|
| mathlib.decl | IncidenceAlgebra.Mu.eulerChar | IncidenceAlgebra.eulerChar |
| provenance | ai | ai-moderated |