Revision #3169 → #3687 · back to history
addedVector space464fd2d4cb98
addedAlgebraic number1f744e0290e7
addedClass number909420d154dd
addedCayley–Hamilton theorem4379fcbd2cdd
addedp-adic numbersd92226c52bc7
modifiedRamification3c054a44d4bf
| Field | From #3169 | To #3687 |
|---|
| mathlib.module | Mathlib.NumberTheory.RamificationInertia.Ramification | Mathlib.RingTheory.RamificationInertia.Ramification |
modifiedRamification indices930552fd660c
| Field | From #3169 | To #3687 |
|---|
| mathlib.module | Mathlib.NumberTheory.RamificationInertia.Ramification | Mathlib.RingTheory.RamificationInertia.Ramification |
modifiedRamified primebe91ac2d2445
| Field | From #3169 | To #3687 |
|---|
| mathlib.module | Mathlib.NumberTheory.RamificationInertia.Ramification | Mathlib.RingTheory.RamificationInertia.Ramification |
addedGalois groupbdc73b81b309
addedFunction field of an algebraic curveabb64a81a8a0