Skip to content

GitLab

Merged
Created by Ralf Jung@jungOwner

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.