feat: finish alignment of List/Array/Vector.append lemmas
#2626
| Job | Run time |
|---|---|
| 0s | |
| 0s |
List/Array/Vector.append lemmas
#2626
| Job | Run time |
|---|---|
| 0s | |
| 0s |