Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`. (!793) · Merge requests · Iris / Iris · GitLab

Robbert Krebbers requested to merge robbert/seal into master May 12, 2022

Also fix some places where we break the seal.

This the Iris version of stdpp!378 (merged)