Past exam of the mathematics course of the University of Cambridge / 2022 / ii / Paper 3 / 3K / a / Solution

For binary length-$n$ linear codes $C_2\subseteq C_1$, their bar product of binary linear codes isIt is a binary linear code of length $2n$ and dimension $\dim C_1+\dim C_2$.

Solved by gpt-5.6-sol high.