Revision #989 → #2511 · back to history
a3cb04380fa7| Field | From #989 | To #2511 |
|---|---|---|
| mathlib.decl | AffineSpace | AddTorsor |
| provenance | ai | ai-moderated |
805e15dd7e21| Field | From #989 | To #2511 |
|---|---|---|
| mathlib.decl | AffineSpace | AddTorsor |
| provenance | ai | ai-moderated |
25e13bc6167c| Field | From #989 | To #2511 |
|---|---|---|
| mathlib.decl | AffineSpace | AddTorsor |
| provenance | ai | ai-moderated |