Revision #3421 → #3930 · back to history
modifiedAffine space (informal)116c6d1b1197
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedAffine space as forgetting the origin1af0d2da3dc0
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedSet with affine structuredcf6adf8a700
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedAffine space (formal)39d718f1c58a
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedSubtraction property88f4c9a97571
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedPrincipal homogeneous spacea4686b6d75cb
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedSubtraction of points7c2551d3ab38
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedWeyl's axioms059691d82330
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedParallelogram property68522abc3150
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedEquivalent definition via Weyl's axiomsb78146678534
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedVector space as affine space3176d3034f99
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedNumber line7f3edc723254
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |
modifiedFree and transitive action9f5cbe75d791
| Field | From #3421 | To #3930 |
|---|
| mathlib.module | Mathlib.Algebra.AddTorsor.Defs | Mathlib.Algebra.Torsor.Defs |