Revision #1143 → #2548 · back to history
96b7cd1490d9| Field | From #1143 | To #2548 |
|---|---|---|
| mathlib.decl | Int.instIsAddCyclic | instIsAddCyclicInt |
| provenance | ai | ai-moderated |
de9587e98deb| Field | From #1143 | To #2548 |
|---|---|---|
| mathlib.decl | instIsCyclicAlgEquiv | FiniteField.instIsCyclicAlgEquivOfFinite |
| provenance | ai | ai-moderated |