mathlib
bc5d5c9d
- feat(data/matrix/notation,data/fin): head and append simp (#5741)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(data/matrix/notation,data/fin): head and append simp (#5741) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Author
pechersky
Parents
0104948e
Loading