Revision #1101 → #2541 · back to history
e52025aef33b| Field | From #1101 | To #2541 |
|---|---|---|
| mathlib.decl | RCLike.aeval_conj | Polynomial.aeval_conj |
| provenance | ai | ai-moderated |
72ab8baea36e| Field | From #1101 | To #2541 |
|---|---|---|
| mathlib.decl | star_involutive | InvolutiveStar.star_involutive |
| provenance | ai | ai-moderated |
c81429d097f2| Field | From #1101 | To #2541 |
|---|---|---|
| mathlib.decl | RCLike.aeval_conj | Polynomial.aeval_conj |
| provenance | ai | ai-moderated |