mathlib3
9ffe7be1 - bug(linear_algebra/*): Update for changes to tensor_algebra

Commit

5 years ago

bug(linear_algebra/*): Update for changes to tensor_algebra Hopefully this sorry can be removed via `ring_quot`

Author

eric-wieser

Parents