In the first claim of 3.4, the last bit of the claim is D′∈C0⊞C1 but the proof actually shows D′∈C′0⊞C′1.
Fixed, thanks. The proof was right, and the original claim was trivial.
In the first claim of 3.4, the last bit of the claim is D′∈C0⊞C1 but the proof actually shows D′∈C′0⊞C′1.
Fixed, thanks. The proof was right, and the original claim was trivial.