mathlib3

4fb6c7dc - chore(test): rename the test directory so that `leanpkg` will find it