mathlib
fd80afc4 - feat(data/matrix/notation): add `!ₘ[1, 2; 3, 4]` notation

Commit

3 years ago

feat(data/matrix/notation): add `!ₘ[1, 2; 3, 4]` notation

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading