Revision #2126 → #2542 · back to history
2df34781a8c5| Field | From #2126 | To #2542 |
|---|---|---|
| mathlib.decl | Complex.instInnerProductSpaceRealComplex | instInnerProductSpaceRealComplex |
| provenance | ai | ai-moderated |
38f6e7fe189e| Field | From #2126 | To #2542 |
|---|---|---|
| mathlib.decl | MeromorphicAt.order | meromorphicOrderAt |
| provenance | ai | ai-moderated |