mathlib3

feat(linear_algebra/dual): add dual vector spaces

#881

Merged