Diff — Affine space

Revision #990 → #2932 · back to history

modifiedEuclidean spaces are affine spaces882ff7f17925

Field	From #990	To #2932
mathlib.module	Mathlib.Geometry.Euclidean.Basic	Mathlib.Analysis.Normed.Group.AddTorsor

modifiedEuclidean space (modern)b10574c44e72

Field	From #990	To #2932
mathlib.module	Mathlib.Geometry.Euclidean.Basic	Mathlib.Analysis.Normed.Group.AddTorsor

addedCentroid of a triangle4a84f33fb1e1

addedSerre's theorem on affineness0b9245708db2