[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that given two Hadamard matrices [math]H,K[/math], we have:

[[math]] d(H\otimes K)\geq d(H)d(K) [[/math]]

Is this actually always an equality, or not?