HomeTroughMathlibUndergraduate mathematicsAffine and Euclidean GeometryContentsStatementsMapContentsLoading the map…Reading Affine and Euclidean Geometry General definitions Convexity Euclidean affine spaces Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.