Links for mymathlib-test