Prepare arxiv v2#1424

teorth merged 4 commits intoteorth:mainteorth/equational_theories:mainfrom

blefloch:prepare-arxiv-v2blefloch/equational_theories:prepare-arxiv-v2Copy head branch name to clipboard