Notes for AKT-091013/0:41:59
From Drorbn
Jump to navigationJump to search
Fact 3: Given [math]\displaystyle{ \mathcal{G}_1, \ \mathcal{G}_2, \ \ \mathcal{T}_{\mathcal{G}_1} \otimes \mathcal{T}_{\mathcal{G}_2} \circ \Box = \mathcal{T}_{\mathcal{G}_1 \oplus \mathcal{G}_2} }[/math] under the canonical isomorphism.
