mathlib

8fa071f4 - fix(scripts): not all files were deployed through the curl command (#879)