mathlib
ffca31af - feat(linear_algebra): composing with a linear equivalence does not change the image (#6816)

Commit

4 years ago

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.

Author

TwoFX

Parents

e54f6339

mathlib ffca31af - feat(linear_algebra): composing with a linear equivalence does not change the image (#6816)

mathlib
ffca31af - feat(linear_algebra): composing with a linear equivalence does not change the image (#6816)