Revision #978 → #2508 · back to history
92eefc635286| Field | From #978 | To #2508 |
|---|---|---|
| mathlib.decl | AddCommGrpCat.instance.Abelian | AddCommGrpCat.instAbelian |
| provenance | ai | ai-moderated |
1b7cdbcd8585| Field | From #978 | To #2508 |
|---|---|---|
| mathlib.decl | CategoryTheory.Abelian.imageFactorisation | CategoryTheory.Abelian.imageStrongEpiMonoFactorisation |
| provenance | ai | ai-moderated |