Revision #2388 → #2570 · back to history
8b033bab5be4| Field | From #2388 | To #2570 |
|---|---|---|
| mathlib.decl | Complex.analyticOnNhd_cexp | analyticOnNhd_cexp |
| provenance | ai | ai-moderated |
04cd26f13d88| Field | From #2388 | To #2570 |
|---|---|---|
| mathlib.decl | exp_polynomial_approx | LindemannWeierstrass.exp_polynomial_approx |
| provenance | ai | ai-moderated |