Skip to content

GitLab

I
Iris
Merged
Opened by Ralf Jung@jung
Report abuse

provide a lemma to update only the authoritative part, ignoring the fragments entirely

Surprisingly, I could not find a transitivity lemma for updates either, so I added one.