Links for tamajit-mathlib