feat(linear_algebra/dual): transpose of linear maps (#4302)
This is filling an easy hole from the undergrad curriculum page: the transpose of a linear map. We don't prove much about it but at least we make contact with matrix transpose.
Co-authored-by: Anne Baanen t.baanen@vu.nl and Johan Commelin johan@commelin.net
Co-authored-by: Vierkantor <vierkantor@vierkantor.com>
Co-authored-by: Johan Commelin <johan@commelin.net>
