feat: finish alignment of List/Array/Vector.append lemmas
#23207
| Job | Run time |
|---|---|
| 1s | |
| 13m 20s | |
| 13m 21s |
List/Array/Vector.append lemmas
#23207
| Job | Run time |
|---|---|
| 1s | |
| 13m 20s | |
| 13m 21s |