Revision #2963 → #3490 · back to history
82fd59ca59d2| Field | From #2963 | To #3490 |
|---|---|---|
| mathlib.module | Mathlib.Analysis.SpecialFunctions.Polynomials | Mathlib.Analysis.Complex.Polynomial.Basic |
4f4f105b7d21| Field | From #2963 | To #3490 |
|---|---|---|
| mathlib.module | Mathlib.Topology.MetricSpace.Basic | Mathlib.Topology.MetricSpace.Pseudo.Defs |