Revision #1106 → #2543 · back to history
d1719c4d0b1e| Field | From #1106 | To #2543 |
|---|---|---|
| mathlib.decl | Polynomial.gcd | EuclideanDomain.gcd |
| provenance | ai | ai-moderated |
736001725ffc| Field | From #1106 | To #2543 |
|---|---|---|
| mathlib.decl | NumberTheory.Padics.Hensel | hensels_lemma |
| provenance | ai | ai-moderated |
b9c9cc44a365| Field | From #1106 | To #2543 |
|---|---|---|
| mathlib.decl | PellMatiyasevic | Pell.matiyasevic |
| provenance | ai | ai-moderated |