Revision #1678 → #2514 · back to history
4157f74544fc| Field | From #1678 | To #2514 |
|---|---|---|
| mathlib.decl | NumberField.instFintypeClassGroup | NumberField.RingOfIntegers.instFintypeClassGroup |
| provenance | ai | ai-moderated |
b14284f76d97| Field | From #1678 | To #2514 |
|---|---|---|
| mathlib.decl | absoluteGaloisGroup | Field.absoluteGaloisGroup |
| provenance | ai | ai-moderated |