Add some _1, _2 lemmas for map_filter
Status | Pipeline | Created by | Stages | Actions |
|---|---|---|---|---|
Passed 00:02:59
|  | Stage: build | No artifacts found | |
Passed 00:03:03
| | Stage: build | No artifacts found | |
| Stage: build | No artifacts found | ||
| Stage: build | No artifacts found | ||
Passed 00:11:19
| | Stage: build | No artifacts found | |
Passed 00:08:05
| | Stage: build | No artifacts found | |
| Stage: build | No artifacts found | ||
Passed 00:05:57
| | Stage: build | No artifacts found | |
Passed 00:03:03
| | Stage: build | No artifacts found | |
Passed 00:09:03
| | Stage: build | No artifacts found | |
Passed 00:13:10
| | Stage: build | No artifacts found | |
Passed 00:13:43
| | Stage: build | No artifacts found | |
Passed 00:10:46
| | Stage: build | No artifacts found | |
Passed 00:14:06
| | Stage: build | No artifacts found | |
Passed 00:09:58
| | Stage: build | No artifacts found |