Provide "lookup" and "commuting" lemmas that handle "eq" and "ne" case in a single statement.
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:05:32
|  | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:01
| | Stage: build |
Download artifacts
No artifacts found | |
Canceled 00:04:37
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:12
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:06:04
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:14
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:37
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:59
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:06
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:56
| | Stage: build |
Download artifacts
No artifacts found | |
Canceled 00:01:47
| | Stage: build |
Download artifacts
No artifacts found |
