Links for unimathlib-pancake