notation): Add some missing simp lemmas for sub, head, and tail (#5807)

Commit

4 years ago

chore(data/matrix/notation): Add some missing simp lemmas for sub, head, and tail (#5807)

Author

eric-wieser

Parents