mathlib
858d111c - feat(data/matrix): more basic matrix lemmas (#873)

Commit

7 years ago

feat(data/matrix): more basic matrix lemmas (#873) * feat(data/matrix): more basic matrix lemmas * feat(data/matrix): transpose_add

References

Author

abentkamp

Committer

mergify[bot]

Parents