[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.

Verify that we have indeed the formula

[[math]] H\otimes(K\otimes L)=(H\otimes K)\otimes L [[/math]]

when using the lexicographic order on the triple indices.