Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:04:10
|  | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:24
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:04:11
| | Stage: build |
Download artifacts
No artifacts found | |
Canceled 00:01:37
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:08:56
| | Stage: build |
Download artifacts
No artifacts found |
