mathlib3
ce594be5 - feat(linear_algebra/affine_space): define a few affine maps (#2981)

Commit

5 years ago

feat(linear_algebra/affine_space): define a few affine maps (#2981)

Author

urkud

urkud

Parents

Loading