From the first proof in 1.1:
We clearly have that (A,D,∙′) is CommitB(C)⊞Commit∖B(C),
Should this instead read “We clearly have that (A,D,∙′) is in CommitB(C)⊞Commit∖B(C),”?
Yep, Thanks.
From the first proof in 1.1:
Should this instead read “We clearly have that (A,D,∙′) is in CommitB(C)⊞Commit∖B(C),”?
Yep, Thanks.