Provide "lookup" and commuting lemmas as equations that always apply, and fix some inconsistent lemma naming
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:02:54
|  | Stage: build |
Download artifacts
No artifacts found | |
Failed 00:01:57
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:02:58
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:35
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:06:02
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:02:59
| | Stage: build |
Download artifacts
No artifacts found | |
Failed 00:01:58
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:08:29
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:19
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:05:55
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:14:35
| | Stage: build |
Download artifacts
No artifacts found | |
