Links for sphinxcontrib-thm