List.Permutation: simplify ++-comm proofs#1762

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

omelkonian:perm-++-commomelkonian/agda-stdlib:perm-++-commCopy head branch name to clipboard