Added some lemmas about [sublist]
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:03:37
|  | Stage: build |
Download artifacts
No artifacts found | |
Failed 00:01:43
| | Stage: build |
Download artifacts
No artifacts found | |
Failed 00:00:11
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:34
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:59
| | Stage: build |
Download artifacts
No artifacts found | |