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

MatthewDaggitt merged 1 commit into

agda:masteragda/agda-stdlib:masterfrom

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