Add a theory of finite permutations.#153

CohenCyril merged 2 commits intomath-comp:mastermath-comp/finmap:masterfrom

arthuraa:finpermarthuraa/finmap:finpermCopy head branch name to clipboard