1: \begin{abstract}

2:   We use a map to quantum error-correcting codes and a subspace

3:   projection to get lower bounds for minimal homological distances in

4:   a tensor product of two chain complexes of vector spaces over a

5:   finite field.  Homology groups of such a complex are described by

6:   the K\"unneth theorem.  We give an explicit expression for the

7:   distances when one of the complexes is a linear map between two

8:   spaces.  The codes in the construction, subsystem product codes and

9:   their gauge-fixed variants, generalize several known families of

10:   quantum error-correcting codes.

11: %  As indicated by extensive numerics, the conjecture works differently

12: %  for the binary vs.\ non-binary fields.

13: \end{abstract}