segment addition postulate

identity on affine spaces

Categorie: