mathlib3

00e4c04e - doc(linear_algebra/affine_space): expand module doc string (#3719)

doc(linear_algebra/affine_space): expand module doc string (#3719) Make module doc string discuss the main definitions relating to affine spaces. Co-authored-by: Vierkantor <Vierkantor@users.noreply.github.com>