Revision #1495 → #2633 · back to history
da1f826f5cd4| Field | From #1495 | To #2633 |
|---|---|---|
| mathlib.decl | Polynomial.mul_def | Polynomial.coeff_mul |
| provenance | ai | ai-moderated |
6c90df56df64| Field | From #1495 | To #2633 |
|---|---|---|
| mathlib.decl | Matrix.mul | Matrix.instHMulOfFintypeOfMulOfAddCommMonoid |
| provenance | ai | ai-moderated |