Skip to content

List.Permutation: simplify ++-comm proofs

591559a
Select commit
Loading
Failed to load commit list.
Merged

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

List.Permutation: simplify ++-comm proofs
591559a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs