loongson/pypi: links for gaussian-theorem