Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
| rev | Bot | (Created page with "<div class="d-none"><math> \newcommand{\mathds}{\mathbb}</math></div> {{Alert-warning|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 display="block"> d(H\otimes K)\geq d(H)d(K) </math> Is this actually always an equality, or not?") | Apr 22'25 at 0:12 | +426 |