mathlib
dbc9cf9f - feat(data/matrix/basic): transform vec_mul to mul_vec (#7348)

Commit

4 years ago

feat(data/matrix/basic): transform vec_mul to mul_vec (#7348)

Author

gabrielmoise

gabrielmoise

Parents

Loading