Revision #996 → #2513 · back to history
85f08da2d62f| Field | From #996 | To #2513 |
|---|---|---|
| mathlib.decl | AffineSpace | AddTorsor |
| provenance | ai | ai-moderated |
ee911e24dc27| Field | From #996 | To #2513 |
|---|---|---|
| mathlib.decl | AlgebraicGeometry.Scheme.presheaf | AlgebraicGeometry.Scheme.sheaf |
| provenance | ai | ai-moderated |