mathlib3
chore(test): rename the test directory so that `leanpkg` will find it
#646
Merged
Merged