Commit 2021-03-22 16:18 ffca31af
View on Github →feat(linear_algebra): composing with a linear equivalence does not change the image (#6816) I also did some minor reorganisation in order to relax some typeclass arguments.
feat(linear_algebra): composing with a linear equivalence does not change the image (#6816) I also did some minor reorganisation in order to relax some typeclass arguments.